Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri. ATR: template-based repair for Alloy specifications. In Sukyoung Ryu, Yannis Smaragdakis, editors, ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022. pages 666-677, ACM, 2022. [doi]
@inproceedings{ZhengNBRAFB22,
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},
year = {2022},
doi = {10.1145/3533767.3534369},
url = {https://doi.org/10.1145/3533767.3534369},
researchr = {https://researchr.org/publication/ZhengNBRAFB22},
cites = {0},
citedby = {0},
pages = {666-677},
booktitle = {ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022},
editor = {Sukyoung Ryu and Yannis Smaragdakis},
publisher = {ACM},
isbn = {978-1-4503-9379-9},
}