Seguir
Wladimir Araujo
Título
Citado por
Citado por
Año
Systems and methods for providing quality assurance
HD Stewart, GA Sidebottom, WLF ARAUJO, SG Ries, SJ Stevens
US Patent 7,797,401, 2010
2472010
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
2412010
Rapid Service Creation Using the Junos SDK
J Kelly, W Araujo, K Banerjee
Computer Communication Review 40 (1), 56-60, 2010
482010
Rapid service creation using the JUNOS SDK
J Kelly, W Araujo, K Banerjee
Proceedings of the 2nd ACM SIGCOMM workshop on Programmable routers for …, 2009
482009
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
222011
Concurrent contracts for Java in JML
W Araujo, L Briand, Y Labiche
2008 19th International Symposium on Software Reliability Engineering (ISSRE …, 2008
182008
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
152014
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
142011
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
112004
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
102011
Systems and methods for providing quality assurance
HD Stewart, GA Sidebottom, WLF ARAUJO, SG Ries, SJ Stevens
US Patent 7,437,458, 2008
102008
Assessing the effectiveness of design contracts as test oracles in the detection of faults in concurrent object-oriented software
WLF Araujo
Carleton University, 2010
42010
Assessing the effectiveness of design contracts as test oracles in the detection of faults in concurrent object-oriented software
WLF Araujo
Carleton University, 2010
42010
Network single entry point for subscriber management
W de Lara Araujo Filho, S El-Medani, M Bokaemper
US Patent 7,464,148, 2008
42008
Systems and methods for providing quality assurance
HD Stewart, GA Sidebottom, WLF ARAUJO, SG Ries, SJ Stevens
US Patent App. 12/852,162, 2010
22010
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
12014
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20