Powered by
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
2019 ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things (TAV-CPS/IoT 2019)
Symbolic Execution-Based Approach to Extracting a Micro State Transition Table
Takahiro Shimizu,
Norihiro Yoshida,
Ryota Yamamoto, and
Hiroaki Takada
(Nagoya University, Japan)
@InProceedings{TAV-CPS/IoT19p1,
author = {Takahiro Shimizu and Norihiro Yoshida and Ryota Yamamoto and Hiroaki Takada},
title = {Symbolic Execution-Based Approach to Extracting a Micro State Transition Table},
booktitle = {Proc.\ TAV-CPS/IoT},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3341108.3342244},
year = {2019},
}
Publisher's Version
proc time: 0.68