Wladimir Araujo
Titel
Geciteerd door
Geciteerd door
Jaar
Systems and methods for providing quality assurance
HD Stewart, GA Sidebottom, WLF ARAUJO, SG Ries, SJ Stevens
US Patent 7,797,401, 2010
2152010
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
2092010
Rapid Service Creation Using the Junos SDK
J Kelly, W Araujo, K Banerjee
Computer Communication Review 40 (1), 56-60, 2010
472010
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
472009
Enabling the runtime assertion checking of concurrent contracts for the Java modeling language
W Araujo, LC Briand, Y Labiche
2011 33rd International Conference on Software Engineering (ICSE), 786-795, 2011
192011
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
112011
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
Systems and methods for providing quality assurance
HD Stewart, GA Sidebottom, WLF ARAUJO, SG Ries, SJ Stevens
US Patent 7,437,458, 2008
102008
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
92011
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
Comparing GUI Functional System Testing with Functional System Logic Testing-An Experiment
A Alkhalid, Y Labiche
12016
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
Reducing Instrumentation Overhead when Reverse-Engineering Object Interactions
H Mehrfard, Y Labiche
2015
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20