MILANEZ, A. F.; http://lattes.cnpq.br/2166423222266686; MILANEZ, Alysson Filgueira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2014-06-06)
Testing is commonly used to check conformance in contract-based programs, as verification
by formal proofs is hard to scale and static analysis is, sometimes, limited for detecting
general nonconformances. Traditional ...