Fostering design by contract by exploiting the relationship between code commentary and contracts. - MILANEZ, Alysson Filgueira. (2018)