Export 3 results:
Filters: Author is Wladimir Araujo  [Clear All Filters]
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)