Test Case Generation and Test Oracle Support for Testing CPSs using Hybrid Models

Zahra Sadri-Moshkenani, Justin Bradley, Gregg Rothermel

Cyber-Physical Systems (CPSs) play a central role in the behavior of a wide range of autonomous physical systems such as medical devices, autonomous vehicles, and smart homes, many…