On the Effectiveness of Contracts As Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software
- Authors
- W. Araujo, L. C. Briand and Y. Labiche
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 2011
- Journal
- ACM/IEEE Int. Symposium on Empirical Software Engineering and Measurement (ESEM)
- Publisher
- IEEE Computer Society
- Citation key
- 8782