@misc{indiciae456a938661fb,
  title = {Bounded Exhaustive Search of Alloy Specification Repairs},
  author = {Simón Gutiérrez Brida and Germán Regis and Guolong Zhengz and Hamid Bagheriz and ThanhVu Nguyenz and Nazareno Aguirre and Marcelo Frias},
  year = {2021},
  url = {https://arxiv.org/abs/2103.00327},
  note = {Source identifier: 2103.00327}
}