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