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