“Test Case Generation using Java Path Finder and Symbolic Path Finder”, Internetworking Indonesia, vol. 16, no. 1, pp. 23–29, Jun. 2024, Accessed: Oct. 16, 2025. [Online]. Available: https://internetworkingindonesia.org/index.php/iij/article/view/36