Wladimir Araujo
External collaborator
Publications
Simula-affiliated publications listed
2011
Proceedings, refereed
Read Enabling the Runtime Assertion Checking of Concurrent Contracts for the Java Modeling Language
W. Araujo, L. Briand and Y. Labiche
Enabling the Runtime Assertion Checking of Concurrent Contracts for the Java Modeling Language
ACM/IEEE Int. Conference on Software Engineering (ICSE)
Read On the Effectiveness of Contracts As Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software
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
ACM/IEEE Int. Symposium on Empirical Software Engineering and Measurement (ESEM)
2008
Proceedings, refereed
Read Concurrent Contracts for Java in JML
W. Araujo, L. Briand and Y. Labiche
Concurrent Contracts for Java in JML
IEEE International Symposium on Software Reliability Engineering (ISSRE)