Usage Log-based Testing of Embedded Software and Identification of Dependencies among Environmental Components
· One min read
IEICE Transactions on Information and Systems(ISSN:1745-1361), VOL.E104-D, NO.11, pp. 2011-2014, 2021.11.
A Log-Based Testing Approach for Detecting Faults Caused by Incorrect Assumptions About the Environment
· One min read
IEICE Transactions on Information and Systems(ISSN:1745-1361), VOL.E103-D, NO.1, pp. 170-173, 2020.1.
An empirical study of configuration changes and adoption in Android apps
· One min read
Journal of Systems and Software(ISSN:0164-1212), 156C, pp. 164-180, 2019
An empirical study of collaborative model and its security risk in android
· One min read
Journal of Systems and Software(ISSN:0164-1212), 137C, pp. 550-562, 2018
Analysis of Permission-based Security in Android through Policy Expert, Developer, and End User Perspectives
· One min read
Journal of Universal Computer Science(ISSN:SCIE, 0948-695x), Vol. 22, No. 4, pp. 459-474, Apr. 2016
Design of ZeroMQ-Based Cooperative Simulation Framework for Distributed Code and Model Components
· One min read
International Journal of Future Computer and Communication(ISSN:2010-3751), Vol. 4, No. 4, pp. 258-261, Aug. 2015
A Testing Method for AUTOSAR Software Components Using Virtual Prototyping by Modification of OSEK Operating System
· One min read
Lecture Notes in Electrical Engineering(ISSN:1876-1100), Vol. 330, pp. 899-905, 2015
Development of SWF Based Virtual Prototyping Framework for Simulating Ubiquitous Systems
· One min read
Lecture Notes in Electrical Engineering(ISSN:1876-1100), Vol. 280, No. 1, pp. 557-565, 2014
Development of a PC-based Code Simulator for Verifying Ubiquitous Embedded Software
· One min read
Lecture Notes in Electrical Engineering(ISSN:1876-1100), Vol. 280, No. 1, pp. 587-594, 2014
Integration Testing through Reusing Representative Unit Test Cases for High-Confidence Medical Software
· One min read
Computers in Biology and Medicine(SCI, ISSN:0010-4825, Elsevier), Vol. 43, Issue 5, pp. 434-443, June 2013
An Adaptive Partial FCS Scheme to Enable the Corruption-aware Transport Protocols over IP Networks for Fourth Generation Wireless Communications
· One min read
Wireless Personal Communications(SCIE, ISSN:0929-6212), Vol. 63, No. 3, pp. 843-859, Feb. 2013
A Function Interaction Testing by Reusing Characterized Test Cases
· One min read
IEICE Transactions on Information and Systems(SCIE, ISSN:0916-8532), Vol. E95-D, No. 9, pp. 2232-2234, Sept. 2012
A Segment-Based SACK Scheme for TCP Over the Error-Prone Links
· One min read
Wireless Personal Communications(SCIE, ISSN:0929-6212), Vol. 61, No. 2, pp. 383-402, Nov. 2011
Fast Selective ACK Scheme for Throughput Enhancement of Multi-Homed SCTP Hosts
· One min read
IEEE Communications Letters(SCI, ISSN:1089-7798), Vol. 14, No. 6, pp. 587-589, June 2010.
An Object-Oriented Framework Approach to Flexible Availability Management for Developing Distributed Applications
· One min read
Journal of Information Science and Engineering(SCIE, ISSN:1016-2364), Vol. 25, No. 4, pp. 1021-1039, July 2009.
Specification and Analysis of Timing Requirements for Real-time Systems in the CBD approach
· One min read
Real-Time Systems (ISSN :0922-6443) , Vol. 36, pp. 135-158, July 2007.
Safety Property Analysis Techniques for Cooperating Embedded Systems Using LTS
· One min read
SEUS(Software Technologies for Embedded and Ubiquitous Systems) 2007, Lecture Notes in Computer Science #4761(ISSN :0302-9743), Vol. 4761, pp. 114-124, May 2007.
Synthesis and Analysis of Timing Constraints for Real-Time Embedded Systems using Modular TER nets
· One min read
WSEAS Transactions on Computers (ISSN : 1109-2750), Vol. 6, No. 5, pp. 741-748, May 2007.
Modeling and Analysis of Service Interactions in Service-Oriented Software
· One min read
Proceedings on computer and Information Sciences-ISCIS 2003(LNCS #2869), pp. 1043-1050, Nov. 2003.
A method and Tool for Identifying Domain Components using Object Usage Information
· One min read
ETRI Journal, Vol. 25, No. 2, pp. 121-132, April 2003.
A Slicing-based approach to enhance Petri Net Reachability Analysis
· One min read
Journal of Research and Practice in Information Technology, Vol. 32, No. 2, pp. 131-143, May 2000.
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
· One min read
IEEE Transactions on Software Engineering, Vol. 24, No. 12, pp. 1115-1130, December 1998.