Artifact of 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.