@misc{indiciae1405a5444f44,
  title = {FLACK: Counterexample-Guided Fault Localization for Alloy Models},
  author = {Guolong Zheng and ThanhVu Nguyen and Simón Gutiérrez Brida and Germán Regis and Marcelo F. Frias and Nazareno Aguirre and Hamid Bagheri},
  year = {2021},
  url = {https://arxiv.org/abs/2102.10152},
  note = {Source identifier: 2102.10152}
}