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

by N Polikarpova, I Ciupa, B Meyer
Venue:in Proceedings of the eighteenth international symposium on Software testing and analysis, ser. ISSTA ’09.