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
Article: isstaws20tavcpsiotforeword-fm000-p doi:
Welcome from the Organizers
Article: isstaws20tavcpsiotforeword-fm001-p doi:

Papers

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

proc time: 0