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. On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software. In Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement, ESEM 2011, Banff, AB, Canada, September 22-23, 2011. pages 10-19, IEEE, 2011. [doi]

Authors

Wladimir Araujo

This author has not been identified. Look up 'Wladimir Araujo' in Google

Lionel C. Briand

This author has not been identified. It may be one of the following persons: Look up 'Lionel C. Briand' in Google

Yvan Labiche

This author has not been identified. Look up 'Yvan Labiche' in Google