Login / Signup

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

Wladimir AraujoLionel C. BriandYvan Labiche
Published in: ESEM (2011)
Keyphrases