Tadahiro Uehara

24 papers A 2C 6Journal 4Unranked 12

Year	Rank	Type	Title / 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