ATR: template-based repair for Alloy specifications
Guolong Zheng, ThanhVu H. Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo Fabian Frias, Hamid Reza Bagheri · 2022
Automatic Program Repair (APR) is a practical research topic that studies techniques to automatically repair programs to fix bugs. Most existing APR techniques are designed for imperative programming languages, such as C and Java, and rely on analyzing correct and incorrect executions of programs to identify and repair suspicious statements.