 | 2011 |
|---|
| 5 |       | 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.
ESEM 2011: 10-19 |
| 4 | | Wladimir Araujo,
Lionel C. Briand,
Yvan Labiche:
Enabling the runtime assertion checking of concurrent contracts for the Java modeling language.
ICSE 2011: 786-795 |
| 2010 |
|---|
| 3 | | James Kelly,
Wladimir Araujo,
Kallol Banerjee:
Rapid service creation using the JUNOS SDK.
Computer Communication Review 40(1): 56-60 (2010) |
| 2009 |
|---|
| 2 | | James Kelly,
Wladimir Araujo,
Kallol Banerjee:
Rapid service creation using the JUNOS SDK.
PRESTO 2009: 7-12 |
| 2008 |
|---|
| 1 | | Wladimir Araujo,
Lionel C. Briand,
Yvan Labiche:
Concurrent Contracts for Java in JML.
ISSRE 2008: 37-46 |
Data released under the ODC-BY 1.0 license — See also our legal information page