Tadahiro Uehara

Publication Activity (10 Years)

Years Active: 2004-2018
Publications (10 Years): 6

Top Topics

Symbolic Execution

Methodological Issues

Mobile Applications

Top Venues

Publications

Rieko Yamamoto, Kyoko Ohashi, Masahiro Fukuyori, Kosaku Kimura, Atsuji Sekiguchi, Ryuichi Umekawa, Tadahiro Uehara, Mikio Aoyama
A Quality Model and Its Quantitative Evaluation Method for Web APIs. APSEC (2018)
Kosaku Kimura, Atsuji Sekiguchi, Shridhar Choudhary, Tadahiro Uehara
A JavaScript Transpiler for Escaping from Complicated Usage of Cloud Services and APIs. APSEC (2018)
Jieming Chi, Kiyoshi Honda, Hironori Washizaki, Yoshiaki Fukazawa, Kazuki Munakata, Sumie Morita, Tadahiro Uehara, Rieko Yamamoto
Defect Analysis and Prediction by Applying the Multistage Software Reliability Growth Model. IWESEP (2017)
Hiroaki Yoshida, Guodong Li, Takuki Kamiya, Indradeep Ghosh, Sreeranga P. Rajan, Susumu Tokumoto, Kazuki Munakata, Tadahiro Uehara
KLOVER: Automatic Test Generation for C and C Programs, Using Symbolic Execution. IEEE Softw. 34 (5) (2017)
Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh, Tadahiro Uehara
FSX: a tool for fine-grained incremental unit test generation for C/C++ programs. SIGSOFT FSE (2016)
Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh, Tadahiro Uehara
FSX: fine-grained incremental unit test generation for C/C++ programs. ISSTA (2016)
Tao Zhang, Jerry Gao, Jing Cheng, Tadahiro Uehara
Compatibility Testing Service for Mobile Applications. SOSE (2015)
Oum-El-Kheir Aktouf, Tao Zhang, Jerry Gao, Tadahiro Uehara
Testing Location-Based Function Services for Mobile Applications. SOSE (2015)
Kiyoshi Honda, Hironori Washizaki, Yoshiaki Fukazawa, Kazuki Munakata, Sumie Morita, Tadahiro Uehara, Rieko Yamamoto
Detection of unexpected situations by applying software reliability growth models to test phases. ISSRE Workshops (2015)
Tao Zhang, Jerry Gao, Oum-El-Kheir Aktouf, Tadahiro Uehara
Test Model and Coverage Analysis for Location-based Mobile Services. SEKE (2015)
Supasit Monpratarnchai, Shoichiro Fujiwara, Asako Katayama, Tadahiro Uehara
Automated testing for Java programs using JPF-based test case generation. ACM SIGSOFT Softw. Eng. Notes 39 (1) (2014)
Jerry Gao, Wei-Tek Tsai, Raymond A. Paul, Xiaoying Bai, Tadahiro Uehara
Mobile Testing-as-a-Service (MTaaS) - Infrastructures, Issues, Solutions and Needs. HASE (2014)
Susumu Tokumoto, Kazunori Sakamoto, Kiyofumi Shimojo, Tadahiro Uehara, Hironori Washizaki
Semi-automatic Incompatibility Localization for Re-engineered Industrial Software. ICST (2014)
Jerry Gao, Xiaoying Bai, Wei-Tek Tsai, Tadahiro Uehara
Mobile Application Testing: A Tutorial. Computer 47 (2) (2014)
Jerry Gao, Xiaoying Bai, Wei-Tek Tsai, Tadahiro Uehara
SaaS Testing on Clouds - Issues, Challenges and Needs. SOSE (2013)
Jerry Gao, Xiaoying Bai, Wei-Tek Tsai, Tadahiro Uehara
Testing as a Service (TaaS) on Clouds. SOSE (2013)
Supasit Monpratarnchai, Shoichiro Fujiwara, Asako Katayama, Tadahiro Uehara
An Automated Testing Tool for Java Application Using Symbolic Execution Based Test Case Generation. APSEC (2) (2013)
Kazuki Munakata, Susumu Tokumoto, Tadahiro Uehara
Model-based test case generation using symbolic execution. JAMAICA@ISSTA (2013)
Susumu Tokumoto, Tadahiro Uehara, Kazuki Munakata, Haruyuki Ishida, Toru Eguchi, Masafumi Baba
Enhancing Symbolic Execution to Test the Compatibility of Re-engineered Industrial Software. APSEC (2012)
Jerry Gao, K. Manjula, P. Roopa, E. Sumalatha, Xiaoying Bai, Wei-Tek Tsai, Tadahiro Uehara
A cloud-based TaaS infrastructure with tools for SaaS validation, performance and scalability evaluation. CloudCom (2012)
Kazuki Munakata, Shoichiro Fujiwara, Susumu Tokumoto, Tadahiro Uehara
Test Case Selection Based on Path Condtions of Symbolic Execution. APSEC (2012)
Shoichiro Fujiwara, Kazuki Munakata, Yoshiharu Maeda, Asako Katayama, Tadahiro Uehara
Test data generation for web application using a UML class diagram with OCL constraints. Innov. Syst. Softw. Eng. 7 (4) (2011)
Sreeranga P. Rajan, Oksana Tkachuk, Mukul R. Prasad, Indradeep Ghosh, Nitin Goel, Tadahiro Uehara
WEAVE: WEb Applications Validation Environment. ICSE Companion (2009)
Kouji Yamamoto, Tadahiro Uehara, Akihiko Matsuo, Kyoko Ohashi, Junji Inomata, Tomotaka Matsuda, Rieko Yamamoto
A pattern system for XML application development. IASTED Conf. on Software Engineering (2004)