Concurrent Contracts for Java in JML. - Wladimir Araujo; Lionel C. Briand; Yvan Labiche (ISSRE, 2008)

Rapid service creation using the JUNOS SDK. - James Kelly; Wladimir Araujo; Kallol Banerjee (Comput. Commun. Rev., 2010)

On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software. - Wladimir Araujo; Lionel C. Briand; Yvan Labiche (ESEM, 2011)

Enabling the runtime assertion checking of concurrent contracts for the Java modeling language. - Wladimir Araujo; Lionel C. Briand; Yvan Labiche (ICSE, 2011)

On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software. - Wladimir Araujo; Lionel C. Briand; Yvan Labiche (IEEE Trans. Software Eng., 2014)