Test Case Generation using Java Path Finder and Symbolic Path Finder. Internetworking Indonesia Journal, [S. l.], v. 16, n. 1, p. 23–29, 2024. Disponível em: https://internetworkingindonesia.org/index.php/iij/article/view/36.. Acesso em: 16 oct. 2025.