DMCA

A comparative study of programmer-written and automatically inferred contracts (2009)

by Nadia Polikarpova , Ilinca Ciupa
Venue:In ISSTA ’09: Proceedings of the 2009 ACM SIGSOFT International symposium on Software testing and analysis
Citations:28 - 4 self