ATR: template-based repair for Alloy specifications

Autor:	Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri
Rok vydání:	2022
Zdroj:	Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::6c1fe121cd3a22d3be62d22d2452e9ba https://doi.org/10.1145/3533767.3534369 Zobrazit plný text záznamu