Jeremy S. Bradbury

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 13

Top Topics

Design Patterns

Bring Together Researchers And Practitioners

Parallel Computing

Top Venues

Publications

Nadia L. Goralski, Jeremy S. Bradbury
Adapting Between Parsons Problems and Coding Tasks. SIGCSE (2) (2023)
Stacey A. Koornneef, Jeremy S. Bradbury, Michael A. Miljanovic
Run, Llama, Run: A Computational Thinking Game for K-5 Students Designed to Support Equitable Access. SIGCSE (2) (2023)
Stacey A. Koornneef, Jeremy S. Bradbury, Michael A. Miljanovic
Run, Llama, Run: A Collaborative Physical and Online Coding Game for Children. SIGCSE (2) (2022)
Michael A. Miljanovic, Jeremy S. Bradbury
GidgetML: an adaptive serious game for enhancing first year programming labs. ICSE (SEET) (2020)
Jude Arokiam, Jeremy S. Bradbury
Automatically predicting bug severity early in the development process. ICSE (NIER) (2020)
Jeremy S. Bradbury, Peter M. Kruse, Mehrdad Saadatmand, Holger Schlingloff
ToCaMS - Workshop on Testing of Configurable and Multi-variant Systems. ICST Workshops (2020)
Michael A. Miljanovic, Jeremy S. Bradbury
Making Serious Programming Games Adaptive. JCSG (2018)
Jeeva Paudel, Wael Yehia, Jeremy S. Bradbury
13th workshop on challenges for parallel computing. CASCON (2018)
Michael A. Miljanovic, Jeremy S. Bradbury
A Review of Serious Games for Programming. JCSG (2018)
Michael A. Miljanovic, Jeremy S. Bradbury
RoboBUG: A Serious Game for Learning Debugging Techniques. ICER (2017)
Robert Ho, Jeeva Paudel, Jeremy S. Bradbury
12th workshop on challenges for parallel computing. CASCON (2017)
Michael A. Miljanovic, Jeremy S. Bradbury
Robot on!: a serious game for improving programming comprehension. GAS@ICSE (2016)
Robert Ho, Jeremy S. Bradbury, Kit Barton
11th Workshop on Challenges for Parallel Computing. CASCON (2016)
Robert Ho, Jeremy S. Bradbury, Kit Barton
10th workshop on challenges for parallel computing. CASCON (2015)
Priya Unnikrishnan, Jeremy S. Bradbury, Kit Barton, Robert Ho
9th workshop on challenges for parallel computing. CASCON (2014)
Priya Unnikrishnan, Kit Barton, Jeremy S. Bradbury, Reza Azimi
8th Workshop on Challenges for Parallel Computing. CASCON (2013)
Jeremy S. Bradbury, David Kelk, Mark Green
Effectively using search-based software engineering techniques within model checking and its applications. CMSBSE@ICSE (2013)
Lydie du Bousquet, Jeremy S. Bradbury, Gordon Fraser
Special section on Mutation testing (Mutation 2010). Sci. Comput. Program. 78 (4) (2013)
John Khalil Jacoub, Ramiro Liscano, Jeremy S. Bradbury, Jared Fisher
UML Modelling of Design Patterns for Wireless Sensor Networks. SENSORNETS (2013)
David Kelk, Kevin Jalbert, Jeremy S. Bradbury
Automatically Repairing Concurrency Bugs with ARC. MUSEPAT (2013)
Kevin Jalbert, Jeremy S. Bradbury
Predicting mutation score using source code and test suite metrics. RAISE@ICSE (2012)
Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, David Kelk
Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools. PADTAD (2012)
Ahmad A. Saifan, Jürgen Dingel, Jeremy S. Bradbury, Ernesto Posse
Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems. ICST (2011)
Benoit Baudry, Jeremy S. Bradbury, Gordon Fraser
Guest Editorial for Special Section on Mutation Testing. Inf. Softw. Technol. 53 (10) (2011)
Devin Kester, Martin Mwebesa, Jeremy S. Bradbury
How Good is Static Analysis at Finding Concurrency Bugs? SCAM (2010)
Kevin Jalbert, Jeremy S. Bradbury
Using clone detection to identify bugs in concurrent software. ICSM (2010)
Gowritharan Maheswara, Jeremy S. Bradbury, Christopher Collins
TIE: an interactive visualization of thread interleavings. SOFTVIS (2010)
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Dingel
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking. FMOODS (2007)
Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel
Using source transformation to test and model check implicit-invocation systems. Sci. Comput. Program. 62 (3) (2006)
Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel
Implementation and Verification of Implicit-Invocation Systems Using Source Transformation. SCAM (2005)
Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel
An empirical framework for comparing effectiveness of testing and property-based formal analysis. PASTE (2005)
Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel, Michel Wermelinger
A survey of self-management in dynamic software architecture specifications. WOSS (2004)
Jeremy S. Bradbury, Jürgen Dingel
Evaluating and improving the automatic analysis of implicit invocation systems. ESEC / SIGSOFT FSE (2003)
Jeremy S. Bradbury, Jeffrey S. Shell, Craig B. Knowles
Hands on cooking: towards an attentive kitchen. CHI Extended Abstracts (2003)