A comparative study of programmer-written and automatically inferred contracts.

Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer

Browse the full ISSTA paper archive.