Systems and methods for providing quality assurance HD Stewart, GA Sidebottom, WLF ARAUJO, SG Ries, SJ Stevens US Patent 7,797,401, 2010 | 257 | 2010 |
Dynamic service activation using COPS-PR to support outsourcing and configuration models for policy control W Araujo, MH Sajedi, AH Ali US Patent 7,734,784, 2010 | 251 | 2010 |
Rapid Service Creation Using the Junos SDK J Kelly, W Araujo, K Banerjee Computer Communication Review 40 (1), 56-60, 2010 | 48 | 2010 |
Enabling the runtime assertion checking of concurrent contracts for the java modeling language W Araujo, LC Briand, Y Labiche Proceedings of the 33rd International Conference on Software Engineering …, 2011 | 24 | 2011 |
Concurrent contracts for Java in JML W Araujo, L Briand, Y Labiche 2008 19th International Symposium on Software Reliability Engineering (ISSRE …, 2008 | 19 | 2008 |
On the effectiveness of contracts as test oracles in the detection and diagnosis of functional faults in concurrent object-oriented software W Araujo, LC Briand, Y Labiche IEEE Transactions on Software Engineering 40 (10), 971-992, 2014 | 15 | 2014 |
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, LC Briand, Y Labiche 2011 International Symposium on Empirical Software Engineering and …, 2011 | 15 | 2011 |
GroupSim: A collaborative environment for discrete event simulation software development for the World Wide Web WA Filho, CM Hirata, ET Yano Simulation 80 (6), 257-272, 2004 | 11 | 2004 |
Dynamic service activation using COPS-PR to support outsourcing and configuration models for policy control W Araujo, MH Sajedi, AH Ali US Patent 8,010,678, 2011 | 10 | 2011 |
Assessing the effectiveness of design contracts as test oracles in the detection of faults in concurrent object-oriented software WLF Araujo Carleton University, 2010 | 4 | 2010 |
Network single entry point for subscriber management W de Lara Araujo Filho, S El-Medani, M Bokaemper US Patent 7,464,148, 2008 | 4 | 2008 |
Systems and methods for providing quality assurance HD Stewart, GA Sidebottom, WLF ARAUJO, SG Ries, SJ Stevens US Patent App. 12/852,162, 2010 | 2 | 2010 |
Annotation-based access control approach for ubiquitous systems R Benigno, N Pedrosa, P Tomé, W Araújo, JRT Neto, E Júnior, S Mota, ... 2014 IEEE 28th International Conference on Advanced Information Networking …, 2014 | 1 | 2014 |
Concurrent Contracts for Java W Araujo, LC Briand, Y Labiche Carleton University, 0 | 1 | |
Comparing GUI Functional System Testing with Functional System Logic Testing-An Experiment Y Labiche, A Alkhalid Carleton University; Department of Systems and Computer Engineering, 2016 | | 2016 |
2014 Index IEEE Transactions on Software Engineering Vol. 40 E Andre, G Antoniol, W Araujo, V Arnaoudova, C Artho, D Athanasiou, ... IEEE Transactions on Software Engineering 41 (1), 105, 2015 | | 2015 |
COPS-PR enhancements to support fast state synchronization W Araujo, A Ali US Patent 8,566,453, 2013 | | 2013 |
On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Faults in Concurrent Object-Oriented Software W Araujo, LC Briand, Y Labiche Carleton University; Department of Systems and Computer Engineering, 2013 | | 2013 |
Assessing the effectiveness of design contracts as test oracles in the detection of faults in concurrent object-oriented software. W Araujo Library and Archives Canada= Bibliothèque et Archives Canada, Ottawa, 2011 | | 2011 |