@misc{indiciae32d601c2f311,
  title = {Improving Counterexample Quality from Failed Program Verification},
  author = {Li Huang and Bertrand Meyer and Manuel Oriol},
  year = {2022},
  url = {https://arxiv.org/abs/2208.10492},
  note = {Source identifier: 2208.10492}
}