default search action
Tadahiro Uehara
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2018
- [c20]Kosaku Kimura, Atsuji Sekiguchi, Shridhar Choudhary, Tadahiro Uehara:
A JavaScript Transpiler for Escaping from Complicated Usage of Cloud Services and APIs. APSEC 2018: 69-78 - [c19]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: 598-607 - 2017
- [j4]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): 30-37 (2017) - [c18]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: 7-11 - 2016
- [c17]Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh
FSX: fine-grained incremental unit test generation for C/C++ programs. ISSTA 2016: 106-117 - [c16]Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh
FSX: a tool for fine-grained incremental unit test generation for C/C++ programs. SIGSOFT FSE 2016: 1052-1056 - 2015
- [c15]Kiyoshi Honda, Hironori Washizaki
Detection of unexpected situations by applying software reliability growth models to test phases. ISSRE Workshops 2015: 2-5 - [c14]Tao Zhang, Jerry Gao, Oum-El-Kheir Aktouf, Tadahiro Uehara:
Test Model and Coverage Analysis for Location-based Mobile Services. SEKE 2015: 80-86 - [c13]Tao Zhang, Jerry Gao, Jing Cheng, Tadahiro Uehara:
Compatibility Testing Service for Mobile Applications. SOSE 2015: 179-186 - [c12]Oum-El-Kheir Aktouf, Tao Zhang, Jerry Gao, Tadahiro Uehara:
Testing Location-Based Function Services for Mobile Applications. SOSE 2015: 308-314 - 2014
- [j3]Jerry Gao, Xiaoying Bai, Wei-Tek Tsai, Tadahiro Uehara:
Mobile Application Testing: A Tutorial. Computer 47(2): 46-55 (2014) - [j2]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): 1-5 (2014) - [c11]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: 158-167 - [c10]Susumu Tokumoto, Kazunori Sakamoto, Kiyofumi Shimojo, Tadahiro Uehara, Hironori Washizaki
Semi-automatic Incompatibility Localization for Re-engineered Industrial Software. ICST 2014: 91-94 - 2013
- [c9]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: 93-98 - [c8]Kazuki Munakata, Susumu Tokumoto, Tadahiro Uehara:
Model-based test case generation using symbolic execution. JAMAICA@ISSTA 2013: 23-28 - [c7]Jerry Gao, Xiaoying Bai, Wei-Tek Tsai, Tadahiro Uehara:
Testing as a Service (TaaS) on Clouds. SOSE 2013: 212-223 - [c6]Jerry Gao, Xiaoying Bai, Wei-Tek Tsai, Tadahiro Uehara:
SaaS Testing on Clouds - Issues, Challenges and Needs. SOSE 2013: 409-415 - 2012
- [c5]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: 314-317 - [c4]Kazuki Munakata, Shoichiro Fujiwara, Susumu Tokumoto, Tadahiro Uehara:
Test Case Selection Based on Path Condtions of Symbolic Execution. APSEC 2012: 318-321 - [c3]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: 464-471 - 2011
- [j1]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): 275-282 (2011)
2000 – 2009
- 2009
- [c2]Sreeranga P. Rajan, Oksana Tkachuk, Mukul R. Prasad, Indradeep Ghosh
WEAVE: WEb Applications Validation Environment. ICSE Companion 2009: 101-111 - 2004
- [c1]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: 117-122
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: