Bounded Exhaustive Search of Alloy Specification Repairs. - Gutiérrez Brida, Simón; Regis, Germán; Guolong Zheng; Bagheriz, Hamid; ThanhVu Nguyenz; Aguirre, Nazareno; Frias, Marcelo (ICSE: International Conference on Software Engineering, 2021)