On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software
2014 ◽
Vol 40
(10)
◽
pp. 971-992
◽
1997 ◽
Vol 48
(4)
◽
pp. 451-452
◽
Keyword(s):