Proceedings of the 2019 ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things - TAV-CPS/IoT 2019
Latest Publications

TOTAL DOCUMENTS

1

(FIVE YEARS 1)

H-INDEX

0

(FIVE YEARS 0)

Published By ACM Press

9781450368674

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Symbolic execution-based approach to extracting a micro state transition table

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

10.1145/3341108.3342244 ◽

2019 ◽

Author(s):

Takahiro Shimizu ◽

Norihiro Yoshida ◽

Ryota Yamamoto ◽

Hiroaki Takada

Keyword(s):

State Transition ◽

Symbolic Execution ◽

Transition Table

Download Full-text