ATR: template-based repair for Alloy specifications

Open Webpage

Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri

Published: 01 Jan 2022, Last Modified: 13 May 2025ISSTA 2022EveryoneRevisionsBibTeXCC BY-SA 4.0