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