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

Aitor Arrieta Pablo Valle Shaukat Ali

Published in: CoRR (2024)

Keyphrases

control system
search algorithm
search space
search efficiency
real time
intelligent search
digital libraries
search tools
semi automated
monte carlo search
search methods
search strategy
search queries
fully automated