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