Wladimir Araujo

According to our database, Wladimir Araujo authored at least 5 papers between 2008 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

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

2011

Enabling the runtime assertion checking of concurrent contracts for the Java modeling language.

Wladimir Araujo, Lionel C. Briand, Yvan Labiche

Proceedings of the 33rd International Conference on Software Engineering, 2011

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

Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement, 2011

2010

Rapid service creation using the JUNOS SDK.

James Kelly, Wladimir Araujo, Kallol Banerjee

Comput. Commun. Rev., 2010

2008

Concurrent Contracts for Java in JML.

Wladimir Araujo, Lionel C. Briand, Yvan Labiche

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008