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.