The automation of design model repair

Cheng-Hao Cai, Jing Sun, Gillian Dobbie

Abstract: Highlights•The repair of software design models is automated by formal methods.•Model checking simultaneously uncovers multiple faults in design models.•Model faults are eliminated by insertion, modification and deletion operators.•Predictions and constraint solving improve the correctness of repair.•Automated model diagnosis and repair preserve the quality of design models.