Export 3 results:
Search results for biblio_year:0
Filters: 1 is biblio_year:2006 and 2 is field_research_area:6 and 3 is biblio_year:2003 and 4 is biblio_type:Proceedings, refereed and 5 is biblio_year:2008 and 6 is biblio_year:2011 and 7 is biblio_type:Poster and Author is Wladimir Araujo  [Reset Search]
W. Araujo, L. C. Briand and Y. 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 ACM/IEEE Int. Symposium on Empirical Software Engineering and Measurement (ESEM). Banff, AB: IEEE Computer Society, 2011.PDF icon Simula.simula.672.pdf (385.61 KB)
W. Araujo, L. Briand and Y. Labiche. Enabling the Runtime Assertion Checking of Concurrent Contracts for the Java Modeling Language In ACM/IEEE Int. Conference on Software Engineering (ICSE), Edited by H. G. R. Taylor and N. Medvidovic. ACM New York, NY, USA, 2011.
W. Araujo, L. Briand and Y. Labiche. Concurrent Contracts for Java in JML In IEEE International Symposium on Software Reliability Engineering (ISSRE)., 2008.PDF icon Simula.SE.283.pdf (74.45 KB)