Bounded Exhaustive Search of Alloy Specification Repairs.

Simn Gutirrez Brida, Germn Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias

Browse the full ICSE paper archive.