Asako Katayama

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

Supasit Monpratarnchai, Tadahiro Uehara, Shoichiro Fujiwara, 2013, 2013 20th Asia-Pacific Software Engineering Conference (APSEC).

Test data generation for web application using a UML class diagram with OCL constraints

Tadahiro Uehara, Yoshiharu Maeda, Kazuki Munakata, 2011, Innovations in Systems and Software Engineering.

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

Supasit Monpratarnchai, Tadahiro Uehara, Shoichiro Fujiwara, 2014, SOEN.

Focusing Requirements Elicitation by Using a UX Measurement Method

Jörg Dörr, Naoki Hasegawa, Asako Katayama, 2018, 2018 IEEE 26th International Requirements Engineering Conference (RE).

B-006 Test Generation based on the Activity Graph

Tadahiro Uehara, Asako Katayama, Rieko Yamamoto, 2005 .