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