ATR: template-based repair for Alloy specifications.

Guolong Zheng, ThanhVu Nguyen, Simn Gutirrez Brida, Germn Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri

Browse the full ISSTA paper archive.