Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow

Aitor Arrieta, Pablo Valle, Shaukat Ali

Stateflow models are widely used in the industry to model the high-level control logic of Cyber-Physical Systems (CPSs) in Simulink--the defacto CPS simulator. Many approaches exis…