On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software. - Araujo, Wladimir; Briand, Lionel C.; Labiche, Yvan (IEEE Transactions on Software Engineering, 2014)