Automated testing for Java programs using JPF-based test case generation

Supasit Monpratarnchai, Shoichiro Fujiwara, Asako Katayama, Tadahiro Uehara. Automated testing for Java programs using JPF-based test case generation. ACM SIGSOFT Software Engineering Notes, 39(1):1-5, 2014. [doi]

Authors

Supasit Monpratarnchai

This author has not been identified. Look up 'Supasit Monpratarnchai' in Google

Shoichiro Fujiwara

This author has not been identified. Look up 'Shoichiro Fujiwara' in Google

Asako Katayama

This author has not been identified. Look up 'Asako Katayama' in Google

Tadahiro Uehara

This author has not been identified. Look up 'Tadahiro Uehara' in Google