@misc{indiciae4d47416c2c7b,
  title = {AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification},
  author = {Paschal C. Amusuo and Ricardo Calvo and Dharun Anandayuvaraj and Taylor Le Lievre and Kevin Kolyakov and Elijah Jorgensen and Aravind Machiry and James C. Davis},
  year = {2026},
  url = {https://arxiv.org/abs/2605.10712},
  note = {Source identifier: 2605.10712}
}