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

Author(s):  
Wladimir Araujo ◽  
Lionel C. Briand ◽  
Yvan Labiche



2000 ◽  
Vol 147 (3) ◽  
pp. 61 ◽  
Author(s):  
V. Cortellessa ◽  
G. Iazeolla ◽  
R. Mirandola


IEE Review ◽  
1990 ◽  
Vol 36 (9) ◽  
pp. 338
Author(s):  
Stephen Wilson




Sign in / Sign up

Export Citation Format

Share Document