ISSTA 2020 Workshops
29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020)
Powered by
Conference Publishing Consulting
4th ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things (TAV-CPS/IoT 2020), July 19, 2020, Virtual Event, USA

TAV-CPS/IoT 2020 – Proceedings

 Contents - Abstracts - Authors

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

Frontmatter

Title Page
Welcome from the Organizers

Papers

ObjSim: Efficient Testing of Cyber-Physical Systems
Jun Sun and Zijiang Yang
(Singapore Management University, Singapore; GuardStrike, China)
Publisher's Version
Formal Verification of Discrete Event Model
Zhihao Lu, Rui Wang, and Yong Guan
(Capital Normal University, China)
Publisher's Version

proc time: 0.39