Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'.

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

Browse the full ICSE paper archive.