ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications

Autor:	Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, Thanhvu Nguyen, Nazareno Aguirre, Marcelo Frias
Rok vydání:	2022
Zdroj:	Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering.
DOI:	10.1145/3551349.3556944
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::2bdea4d87f0cb96de2debe0297ac116e https://doi.org/10.1145/3551349.3556944 Zobrazit plný text záznamu