2024. Test Case Generation using Java Path Finder and Symbolic Path Finder. Internetworking Indonesia Journal. 16, 1 (Jun. 2024), 23–29.