“Test Case Generation using Java Path Finder and Symbolic Path Finder” (2024) Internetworking Indonesia Journal, 16(1), pp. 23–29. Available at: https://internetworkingindonesia.org/index.php/iij/article/view/36 (Accessed: 16 October 2025).