Export 3 results:
Search results for biblio_year:1985
Filters: 1 is biblio_year:1984 and 2 is biblio_year:1999 and 3 is biblio_year:2011 and 4 is biblio_year:2004 and 5 is biblio_year:1993 and 6 is biblio_type:Proceedings, refereed and 7 is biblio_type:Public outreach and Author is Wladimir Araujo  [Reset Search]
2011
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.
2008
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)