@misc{indiciaef9aab7bf4990,
  title = {Finding Bugs with Specification-Based Testing is Easy!},
  author = {Janice Chin and David Pearce},
  year = {2021},
  doi = {10.22152/programming-journal.org/2021/5/13},
  url = {https://arxiv.org/abs/2103.00032},
  note = {Source identifier: 2103.00032}
}