An Automated Testing Tool for Java Application Using Symbolic Execution Based Test Case Generation.

Supasit Monpratarnchai, Shoichiro Fujiwara, Asako Katayama, Tadahiro Uehara

Browse the full APSEC paper archive.