Showing eess.SYShow all
2 papers · 1 filter
eess.SY2025
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…
eess.SY2023
Coverage Explorer: Coverage-guided Test Generation for Cyber Physical Systems
Sanaz Sheikhi, Stanley Bak
Given the safety-critical functions of autonomous cyber-physical systems (CPS) across diverse domains, testing these systems is essential. While conventional software and hardware…