Finding Unknown Unknowns using Cyber-Physical System Simulators (Extended Report)

Semaan Douglas Wehbe, Stanley Bak

Simulation-based approaches are among the most practical means to search for safety violations, bugs, and other unexpected events in cyber-physical systems (CPS). Where existing ap…