@misc{indiciaec82b91caa901,
  title = {Seeding Contradiction: a fast method for generating full-coverage test suites},
  author = {Li Huang and Bertrand Meyer and Manuel Oriol},
  year = {2023},
  url = {https://arxiv.org/abs/2309.04232},
  note = {Source identifier: 2309.04232}
}