ISSTA 2019 Workshops
28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2019)
Powered by
Conference Publishing Consulting

2019 ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things (TAV-CPS/IoT 2019), July 16, 2019, Beijing, China

TAV-CPS/IoT 2019 – Proceedings

Contents - Abstracts - Authors

2019 ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things (TAV-CPS/IoT 2019)

Title Page


Message from the Organizers
Welcome to the Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things (TAV-CPS/IoT 2019) held in Beijing jointly with the ACM Sigsoft International Conference on Software Testing and Analysis ISSTA 2019. The workshop follows the successful editions co-located with ISSTA in 2017 and ECOOP/ISSTA in 2018.

Symbolic Execution-Based Approach to Extracting a Micro State Transition Table
Takahiro Shimizu, Norihiro Yoshida, Ryota Yamamoto, and Hiroaki Takada
(Nagoya University, Japan)
During embedded system development, developers frequently change and reuse the existing C source code for the development of a new but behaviorally similar product. Such frequent changes generally decrease the understandability of C source code although the developers have to understand how it behaves and how to reuse it. So far, much research has been done on symbolic execution techniques that statically analyze the behavioral aspect of given source code. In this paper, we propose a symbolic execution-based approach to extracting a Micro State Transition Table (MSTT) that helps developers understanding the behavioral aspect of embedded C source code based on a fine-grained state transition model. As a case study, we applied the proposed approach to a collection of source files and then confirmed the correctness of the extracted MSTTs.

Publisher's Version Article Search

proc time: 0.11