Nonconformance between programs and contracts: a study on C#/code contracts open source systems.

Alysson Milanez, Bianca Lima, Jos Ferreira, Tiago Massoni

Browse the full SAC paper archive.