Tadahiro Uehara

According to our database1, Tadahiro Uehara authored at least 24 papers between 2004 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
A Quality Model and Its Quantitative Evaluation Method for Web APIs.
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

A JavaScript Transpiler for Escaping from Complicated Usage of Cloud Services and APIs.
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017
KLOVER: Automatic Test Generation for C and C Programs, Using Symbolic Execution.
IEEE Softw., 2017

Defect Analysis and Prediction by Applying the Multistage Software Reliability Growth Model.
Proceedings of the 8th International Workshop on Empirical Software Engineering in Practice, 2017

2016
FSX: a tool for fine-grained incremental unit test generation for C/C++ programs.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

FSX: fine-grained incremental unit test generation for C/C++ programs.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

2015
Compatibility Testing Service for Mobile Applications.
Proceedings of the 2015 IEEE Symposium on Service-Oriented System Engineering, 2015

Testing Location-Based Function Services for Mobile Applications.
Proceedings of the 2015 IEEE Symposium on Service-Oriented System Engineering, 2015

Test Model and Coverage Analysis for Location-based Mobile Services.
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

Detection of unexpected situations by applying software reliability growth models to test phases.
Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

2014
Automated testing for Java programs using JPF-based test case generation.
ACM SIGSOFT Softw. Eng. Notes, 2014

Mobile Application Testing: A Tutorial.
Computer, 2014

Semi-automatic Incompatibility Localization for Re-engineered Industrial Software.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Mobile Testing-as-a-Service (MTaaS) - Infrastructures, Issues, Solutions and Needs.
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

2013
SaaS Testing on Clouds - Issues, Challenges and Needs.
Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

Testing as a Service (TaaS) on Clouds.
Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

Model-based test case generation using symbolic execution.
Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation, 2013

An Automated Testing Tool for Java Application Using Symbolic Execution Based Test Case Generation.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012
A cloud-based TaaS infrastructure with tools for SaaS validation, performance and scalability evaluation.
Proceedings of the 4th IEEE International Conference on Cloud Computing Technology and Science Proceedings, 2012

Enhancing Symbolic Execution to Test the Compatibility of Re-engineered Industrial Software.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Test Case Selection Based on Path Condtions of Symbolic Execution.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011
Test data generation for web application using a UML class diagram with OCL constraints.
Innov. Syst. Softw. Eng., 2011

2009
WEAVE: WEb Applications Validation Environment.
Proceedings of the 31st International Conference on Software Engineering, 2009

2004
A pattern system for XML application development.
Proceedings of the IASTED International Conference on Software Engineering, 2004


  Loading...