@misc{indiciaef61b259c85a8,
  title = {Crucible: Graphical Test Cases for Alloy Models},
  author = {Adam G. Emerson and Allison Sullivan},
  year = {2023},
  url = {https://arxiv.org/abs/2307.06922},
  note = {Source identifier: 2307.06922}
}