Test Case Generation using Java Path Finder and Symbolic Path Finder. Internetworking Indonesia [Internet]. 2024 Jun. 1 [cited 2025 Oct. 16];16(1):23-9. Available from: https://internetworkingindonesia.org/index.php/iij/article/view/36