Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias. BeAFix: An Automated Repair Tool for Faulty Alloy Models. In 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021. pages 1213-1217, IEEE, 2021. [doi]
Abstract is missing.