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
3562004
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
1082006
Organizing definitions and formalisms for dynamic software architectures
JS Bradbury
692004
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
272006
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
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
212010
Automatic repair of concurrency bugs
JS Bradbury, K Jalbert
International Symposium on Search Based Software Engineering (SSBSE) fast …, 2010
202010
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
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
142009
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
112016
Predicting Mutation Score Using Source Code and Test Suite Metrics
K Jalbert, JS Bradbury
Workshop on Realizing Artificial Intelligence Synergies in Software …, 2012
112012
Tie: An interactive visualization of thread interleavings
G Maheswara, JS Bradbury, C Collins
Proceedings of the 5th international symposium on Software visualization …, 2010
102010
Robobug: a serious game for learning debugging techniques
MA Miljanovic, JS Bradbury
Proceedings of the 2017 ACM Conference on International Computing Education …, 2017
82017
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
The system can't perform the operation now. Try again later.
Articles 1–20