@misc{indiciae23076bd31369,
  title = {Combining Tests and Proofs for Better Software Verification},
  author = {Li Huang and Bertrand Meyer and Manuel Oriol},
  year = {2026},
  url = {https://arxiv.org/abs/2601.16239},
  note = {Source identifier: 2601.16239}
}