On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software.

Wladimir Araujo, Lionel C. Briand, Yvan Labiche

Browse the full ESEM paper archive.