Jeremy S. Bradbury
Jeremy S. Bradbury
Associate Professor, Ontario Tech University
Verified email at ontariotechu.ca - Homepage
TitleCited byYear
A Survey of Self Management in Dynamic Software Architecture Specifications
JS Bradbury, JR Cordy, J Dingel, M Wermelinger
Proc. of the 1st ACM SIGSOFT Workshop on Self-Managed Systems (WOSS'04), 28-33, 2004
3502004
Mutation operators for concurrent Java (J2SE 5.0)
JS Bradbury, JR Cordy, J Dingel
Second Workshop on Mutation Analysis (Mutation 2006-ISSRE Workshops 2006), 11-11, 2006
1042006
Organizing definitions and formalisms for dynamic software architectures
JS Bradbury
672004
Hands on cooking: towards an attentive kitchen
JS Bradbury, JS Shell, CB Knowles
CHI'03 extended abstracts on Human factors in computing systems, 996-997, 2003
57*2003
Evaluating and improving the automatic analysis of implicit invocation systems
JS Bradbury, J Dingel
ACM SIGSOFT Software Engineering Notes 28 (5), 78-87, 2003
342003
ExMAn: A Generic and Customizable Framework for Experimental Mutation Analysis
JS Bradbury, JR Cordy, J Dingel
Proc. of the 2nd Workshop on Mutation Analysis (Mutation 2006), 2-5, 2006
262006
Comparative assessment of testing and model checking using program mutation
JS Bradbury, JR Cordy, J Dingel
Testing: Academic and Industrial Conference Practice and Research Techniques …, 2007
252007
An empirical framework for comparing effectiveness of testing and property-based formal analysis
JS Bradbury, JR Cordy, J Dingel
ACM SIGSOFT Software Engineering Notes 31 (1), 2-5, 2006
202006
How good is static analysis at finding concurrency bugs?
D Kester, M Mwebesa, JS Bradbury
2010 10th IEEE Working Conference on Source Code Analysis and Manipulation …, 2010
192010
Automatic repair of concurrency bugs
JS Bradbury, K Jalbert
International Symposium on Search Based Software Engineering (SSBSE) fast …, 2010
192010
A Survey of Modeling Techniques for Wireless Sensor Networks
J Khalil Jacoub, R Liscano, J Bradbury
SENSORCOMM 2011, The Fifth International Conference on Sensor Technologies …, 2011
14*2011
Defining a catalog of programming anti-patterns for concurrent java
JS Bradbury, K Jalbert
Proc. of the 3rd International Workshop on Software Patterns and Quality …, 2009
132009
Implementation and verification of implicit-invocation systems using source transformation
H Zhang, JS Bradbury, JR Cordy, J Dingel
Fifth IEEE International Workshop on Source Code Analysis and Manipulation …, 2005
132005
Robot ON!: a serious game for improving programming comprehension
MA Miljanovic, JS Bradbury
2016 IEEE/ACM 5th International Workshop on Games and Software Engineering …, 2016
102016
Predicting Mutation Score Using Source Code and Test Suite Metrics
K Jalbert, JS Bradbury
Workshop on Realizing Artificial Intelligence Synergies in Software …, 2012
102012
Tie: An interactive visualization of thread interleavings
G Maheswara, JS Bradbury, C Collins
Proceedings of the 5th international symposium on Software visualization …, 2010
102010
Automatically repairing concurrency bugs with ARC
D Kelk, K Jalbert, JS Bradbury
International conference on multicore software engineering, performance, and …, 2013
82013
Using clone detection to identify bugs in concurrent software
K Jalbert, JS Bradbury
2010 IEEE International Conference on Software Maintenance, 1-5, 2010
82010
Verifying distributed, event-based middleware applications using domain-specific software model checking
L Cai, J Bradbury, J Dingel
Formal Methods for Open Object-Based Distributed Systems, 44-58, 2007
8*2007
Robobug: a serious game for learning debugging techniques
MA Miljanovic, JS Bradbury
Proceedings of the 2017 ACM Conference on International Computing Education …, 2017
72017
The system can't perform the operation now. Try again later.
Articles 1–20