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