Automated Repair of Stateflow Models for Cyber-Physical Systems Controllers

A novel search-based approach called FLOWREPAIR that can automatically repair faults in Stateflow models, the de-facto language for modeling the high-level control logic of Cyber-Physical Systems.