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
Symbolic Execution-Based Approach to Extracting a Micro State Transition Table
Takahiro Shimizu, Norihiro Yoshida, Ryota Yamamoto, and Hiroaki Takada
(Nagoya University, Japan)
Publisher's Version Article Search

proc time: 0.93