“Test Case Generation Using Java Path Finder and Symbolic Path Finder”. Internetworking Indonesia Journal, vol. 16, no. 1, June 2024, pp. 23-29, https://internetworkingindonesia.org/index.php/iij/article/view/36.