Design tests: An approach to programmatically check your code against design rules.

Joo Brunet, Dalton Serey Guerrero, Jorge C. A. de Figueiredo

Browse the full ICSE paper archive.