A Unit Proofing Framework for Code-level Verification: A Research Agenda.

Paschal C. Amusuo, Parth V. Patil, Owen Cochell, Taylor Le Lievre, James C. Davis

Browse the full ICSE paper archive.