@misc{indiciae2da59c4fc765,
  title = {A Unit Proofing Framework for Code-level Verification: A Research Agenda},
  author = {Paschal C. Amusuo and Parth V. Patil and Owen Cochell and Taylor Le Lievre and James C. Davis},
  year = {2025},
  url = {https://arxiv.org/abs/2410.14818},
  note = {Source identifier: 2410.14818}
}