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]
@inproceedings{AraujoBL11-0,
title = {On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software},
author = {Wladimir Araujo and Lionel C. Briand and Yvan Labiche},
year = {2011},
doi = {10.1109/ESEM.2011.9},
url = {http://doi.ieeecomputersociety.org/10.1109/ESEM.2011.9},
researchr = {https://researchr.org/publication/AraujoBL11-0},
cites = {0},
citedby = {0},
pages = {10-19},
booktitle = {Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement, ESEM 2011, Banff, AB, Canada, September 22-23, 2011},
publisher = {IEEE},
isbn = {978-1-4577-2203-5},
}