@misc{indiciae21b1eddefc88,
  title = {Fault Localization for Declarative Models in Alloy},
  author = {Kaiyuan Wang and Allison Sullivan and Darko Marinov and Sarfraz Khurshid},
  year = {2018},
  url = {https://arxiv.org/abs/1807.08707},
  note = {Source identifier: 1807.08707}
}