Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias. ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications. In 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022. ACM, 2022. [doi]
@inproceedings{BridaRZBNAF22, title = {ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications}, author = {Simón Gutiérrez Brida and Germán Regis and Guolong Zheng and Hamid Bagheri and ThanhVu Nguyen and Nazareno Aguirre and Marcelo F. Frias}, year = {2022}, doi = {10.1145/3551349.3556944}, url = {https://doi.org/10.1145/3551349.3556944}, researchr = {https://researchr.org/publication/BridaRZBNAF22}, cites = {0}, citedby = {0}, booktitle = {37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022}, publisher = {ACM}, isbn = {978-1-4503-9475-8}, }