Tadahiro Uehara

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