ALDB: Debugging Alloy Models of Behavioural Requirements

Aman Dureja, Aditya Keerthi, Andrew Liang, Paul Zhang, Nancy Day. ALDB: Debugging Alloy Models of Behavioural Requirements. In 10th IEEE International Model-Driven Requirements Engineering, MoDRE@RE 2020, Zurich, Switzerland, August 31, 2020. pages 21-30, IEEE, 2020. [doi]

@inproceedings{DurejaKLZD20,
  title = {ALDB: Debugging Alloy Models of Behavioural Requirements},
  author = {Aman Dureja and Aditya Keerthi and Andrew Liang and Paul Zhang and Nancy Day},
  year = {2020},
  doi = {10.1109/MoDRE51215.2020.00009},
  url = {https://doi.org/10.1109/MoDRE51215.2020.00009},
  researchr = {https://researchr.org/publication/DurejaKLZD20},
  cites = {0},
  citedby = {0},
  pages = {21-30},
  booktitle = {10th IEEE International Model-Driven Requirements Engineering, MoDRE@RE 2020, Zurich, Switzerland, August 31, 2020},
  publisher = {IEEE},
  isbn = {978-1-7281-8356-5},
}