一句话：提出面向 Alloy 规格的模板化自动修复方法 ATR，弥补现有 APR 多针对命令式程序、依赖执行轨迹的不足。
自动程序修复（APR）研究如何自动修复程序缺陷，但现有技术多面向 C、Java 等命令式语言，依赖程序正确与错误执行来定位并修复可疑语句，难以直接迁移到 Alloy 这类规格语言。本文提出 ATR：一种面向 Alloy 规格的基于模板的修复方法。ATR 采用模板化策略为 Alloy 规格生成候选修复，而非沿用命令式程序的执行分析路线。不过，所给摘要未报告具体修复模板设计、实现机制、基准与实验结果，因此无法从摘要判断其修复成功率、可扩展性及与现有 APR 方法的对比。
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.
@inproceedings{paperbot7389,
title = {ATR: template-based repair for Alloy specifications},
author = {Guolong Zheng and ThanhVu Nguyen and Simón Gutiérrez Brida and Germán Regis and Nazareno Aguirre and Marcelo F. Frias and Hamid Bagheri},
booktitle = {ISSTA},
year = {2022},
doi = {10.1145/3533767.3534369}
}