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 – Preliminary Table of Contents

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 Article Search
Formal Verification of Discrete Event Model
Zhihao Lu, Rui Wang, and Yong Guan
(Capital Normal University, China)
Publisher's Version Article Search

proc time: 2.53