Concepedia

Wladimir Araujo

WA

Statistics

Publications

5

Citations

93

H-Index

5

Active since

2008

Affiliations

Carleton University(Current)

University of Oslo

Simula Research Laboratory

Juniper Networks (United States)

Wladimir Araujo is an author at Carleton University specializing in computer science, computing, and software engineering.

Publications per year

2008–2014

5

Publications

5

Rapid service creation using the JUNOS SDK

James Floyd Kelly, Wladimir Araujo, Kallol Banerjee · 2009 · 34 citations · Full text

Computing, Computer Engineering, Computer Science +11

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

Wladimir Araujo, Lionel Briand, Yvan Labiche · 2011 · 18 citations

Computing, Computer Engineering, Computer Science +17

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 Briand, Yvan Labiche · 2011 · 15 citations

Computing, Computer Science, Computer Systems +17

Concurrent Contracts for Java in JML

Wladimir Araujo, Lionel Briand, Yvan Labiche · 2008 · 14 citations

Computing, Computer Science, Contracts +13

On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software

Wladimir Araujo, Lionel Briand, Yvan Labiche · IEEE Transactions on Software Engineering · 2014 · 12 citations

Computing, Computer Engineering, Computer Science +13

1–5 of 5