FLACK: Counterexample-Guided Fault Localization for Alloy Models. - Guolong Zheng; ThanhVu Nguye; Brida, Simón Gutiérrez; Regis, Germán; Frias, Marcelo F.; Aguirre, Nazareno; Bagheri, Hamid (ICSE: International Conference on Software Engineering, 2021)