Tadahiro Uehara
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
7
Active years
2009–2018
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | APSEC | A JavaScript Transpiler for Escaping from Complicated Usage of Cloud Services and APIs. | Kosaku Kimura, Atsuji Sekiguchi, Shridhar Choudhary, Tadahiro Uehara |
| 2018 | APSEC | 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 |
| 2016 | ISSTA | FSX: fine-grained incremental unit test generation for C/C++ programs. | Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh, Tadahiro Uehara |
| 2015 | ISSRE | 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 |
| 2015 | SEKE | Test Model and Coverage Analysis for Location-based Mobile Services. | Tao Zhang, Jerry Gao, Oum-El-Kheir Aktouf, Tadahiro Uehara |
| 2014 | ICST | Semi-automatic Incompatibility Localization for Re-engineered Industrial Software. | Susumu Tokumoto, Kazunori Sakamoto, Kiyofumi Shimojo, Tadahiro Uehara, Hironori Washizaki |
| 2013 | APSEC | An Automated Testing Tool for Java Application Using Symbolic Execution Based Test Case Generation. | Supasit Monpratarnchai, Shoichiro Fujiwara, Asako Katayama, Tadahiro Uehara |
| 2013 | ISSTA | Model-based test case generation using symbolic execution. | Kazuki Munakata, Susumu Tokumoto, Tadahiro Uehara |
| 2012 | APSEC | Test Case Selection Based on Path Condtions of Symbolic Execution. | Kazuki Munakata, Shoichiro Fujiwara, Susumu Tokumoto, Tadahiro Uehara |
| 2012 | APSEC | Enhancing Symbolic Execution to Test the Compatibility of Re-engineered Industrial Software. | Susumu Tokumoto, Tadahiro Uehara, Kazuki Munakata, Haruyuki Ishida, Toru Eguchi, Masafumi Baba |
| 2012 | CloudCom | A cloud-based TaaS infrastructure with tools for SaaS validation, performance and scalability evaluation. | Jerry Gao, K. Manjula, P. Roopa, E. Sumalatha, Xiaoying Bai, Wei-Tek Tsai, Tadahiro Uehara |
| 2009 | ICSE | WEAVE: WEb Applications Validation Environment. | Sreeranga P. Rajan, Oksana Tkachuk, Mukul R. Prasad, Indradeep Ghosh, Nitin Goel, Tadahiro Uehara |