Test data generation for web application using a UML class diagram with OCL constraints. - Shoichiro Fujiwara; Kazuki Munakata; Yoshiharu Maeda; Asako Katayama; Tadahiro Uehara (Innov. Syst. Softw. Eng., 2011)

Test Case Selection Based on Path Condtions of Symbolic Execution. - Kazuki Munakata; Shoichiro Fujiwara; Susumu Tokumoto; Tadahiro Uehara (APSEC, 2012)

An Automated Testing Tool for Java Application Using Symbolic Execution Based Test Case Generation. - Supasit Monpratarnchai; Shoichiro Fujiwara; Asako Katayama; Tadahiro Uehara (APSEC (2), 2013)

Automated testing for Java programs using JPF-based test case generation. - Supasit Monpratarnchai; Shoichiro Fujiwara; Asako Katayama; Tadahiro Uehara (ACM SIGSOFT Softw. Eng. Notes, 2014)