A pattern system for XML application development. - Kouji Yamamoto 002; Tadahiro Uehara; Akihiko Matsuo; Kyoko Ohashi; Junji Inomata; Tomotaka Matsuda; Rieko Yamamoto (IASTED Conf. on Software Engineering, 2004)

WEAVE: WEb Applications Validation Environment. - Sreeranga P. Rajan; Oksana Tkachuk; Mukul R. Prasad; Indradeep Ghosh; Nitin Goel; Tadahiro Uehara (ICSE Companion, 2009)

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)

Enhancing Symbolic Execution to Test the Compatibility of Re-engineered Industrial Software. - Susumu Tokumoto; Tadahiro Uehara; Kazuki Munakata; Haruyuki Ishida; Toru Eguchi; Masafumi Baba (APSEC, 2012)

A cloud-based TaaS infrastructure with tools for SaaS validation, performance and scalability evaluation. - Jerry Gao 002; K. Manjula; P. Roopa; E. Sumalatha; Xiaoying Bai; Wei-Tek Tsai; Tadahiro Uehara (CloudCom, 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)

Model-based test case generation using symbolic execution. - Kazuki Munakata; Susumu Tokumoto; Tadahiro Uehara (JAMAICA@ISSTA, 2013)

Testing as a Service (TaaS) on Clouds. - Jerry Gao 002; Xiaoying Bai; Wei-Tek Tsai; Tadahiro Uehara (SOSE, 2013)

SaaS Testing on Clouds - Issues, Challenges and Needs. - Jerry Gao 002; Xiaoying Bai; Wei-Tek Tsai; Tadahiro Uehara (SOSE, 2013)

Mobile Testing-as-a-Service (MTaaS) - Infrastructures, Issues, Solutions and Needs. - Jerry Gao 002; Wei-Tek Tsai; Raymond A. Paul; Xiaoying Bai; Tadahiro Uehara (HASE, 2014)

Semi-automatic Incompatibility Localization for Re-engineered Industrial Software. - Susumu Tokumoto; Kazunori Sakamoto; Kiyofumi Shimojo; Tadahiro Uehara; Hironori Washizaki (ICST, 2014)

Mobile Application Testing: A Tutorial. - Jerry Gao 002; Xiaoying Bai; Wei-Tek Tsai; Tadahiro Uehara (Computer, 2014)

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)

Detection of unexpected situations by applying software reliability growth models to test phases. - Kiyoshi Honda; Hironori Washizaki; Yoshiaki Fukazawa; Kazuki Munakata; Sumie Morita; Tadahiro Uehara; Rieko Yamamoto (ISSRE Workshops, 2015)

Test Model and Coverage Analysis for Location-based Mobile Services. - Tao Zhang 089; Jerry Gao 002; Oum-El-Kheir Aktouf; Tadahiro Uehara (SEKE, 2015)

Testing Location-Based Function Services for Mobile Applications. - Oum-El-Kheir Aktouf; Tao Zhang 089; Jerry Gao 002; Tadahiro Uehara (SOSE, 2015)

Compatibility Testing Service for Mobile Applications. - Tao Zhang 089; Jerry Gao 002; Jing Cheng; Tadahiro Uehara (SOSE, 2015)

FSX: fine-grained incremental unit test generation for C/C++ programs. - Hiroaki Yoshida; Susumu Tokumoto; Mukul R. Prasad; Indradeep Ghosh; Tadahiro Uehara (ISSTA, 2016)

FSX: a tool for fine-grained incremental unit test generation for C/C++ programs. - Hiroaki Yoshida; Susumu Tokumoto; Mukul R. Prasad; Indradeep Ghosh; Tadahiro Uehara (SIGSOFT FSE, 2016)

Defect Analysis and Prediction by Applying the Multistage Software Reliability Growth Model. - Jieming Chi; Kiyoshi Honda; Hironori Washizaki; Yoshiaki Fukazawa; Kazuki Munakata; Sumie Morita; Tadahiro Uehara; Rieko Yamamoto (IWESEP, 2017)

KLOVER: Automatic Test Generation for C and C Programs, Using Symbolic Execution. - Hiroaki Yoshida; Guodong Li; Takuki Kamiya; Indradeep Ghosh; Sreeranga P. Rajan; Susumu Tokumoto; Kazuki Munakata; Tadahiro Uehara (IEEE Softw., 2017)

A JavaScript Transpiler for Escaping from Complicated Usage of Cloud Services and APIs. - Kosaku Kimura; Atsuji Sekiguchi; Shridhar Choudhary; Tadahiro Uehara (APSEC, 2018)

A Quality Model and Its Quantitative Evaluation Method for Web APIs. - Rieko Yamamoto; Kyoko Ohashi; Masahiro Fukuyori; Kosaku Kimura; Atsuji Sekiguchi; Ryuichi Umekawa; Tadahiro Uehara; Mikio Aoyama (APSEC, 2018)