Jeremy S. Bradbury

According to our database, Jeremy S. Bradbury authored at least 35 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Run, Llama, Run: A Computational Thinking Game for K-5 Students Designed to Support Equitable Access.

Stacey A. Koornneef, Jeremy S. Bradbury, Michael A. Miljanovic

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

Adapting Between Parsons Problems and Coding Tasks.

Nadia L. Goralski, Jeremy S. Bradbury

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

Engineering Adaptive Serious Games Using Machine Learning.

Michael A. Miljanovic, Jeremy S. Bradbury

Proceedings of the Software Engineering for Games in Serious Contexts, 2023

2022

Run, Llama, Run: A Collaborative Physical and Online Coding Game for Children.

Stacey A. Koornneef, Jeremy S. Bradbury, Michael A. Miljanovic

Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

2020

ToCaMS - Workshop on Testing of Configurable and Multi-variant Systems.

Jeremy S. Bradbury, Peter M. Kruse, Mehrdad Saadatmand, Holger Schlingloff

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

GidgetML: an adaptive serious game for enhancing first year programming labs.

Michael A. Miljanovic, Jeremy S. Bradbury

Proceedings of the ICSE-SEET 2020: 42nd International Conference on Software Engineering, Software Engineering Education and Training, Seoul, South Korea, 27 June, 2020

Automatically predicting bug severity early in the development process.

Jude Arokiam, Jeremy S. Bradbury

Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020

2018

Making Serious Programming Games Adaptive.

Michael A. Miljanovic, Jeremy S. Bradbury

Proceedings of the Serious Games - 4th Joint International Conference, 2018

A Review of Serious Games for Programming.

Michael A. Miljanovic, Jeremy S. Bradbury

Proceedings of the Serious Games - 4th Joint International Conference, 2018

13th workshop on challenges for parallel computing.

Jeeva Paudel, Wael Yehia, Jeremy S. Bradbury

Proceedings of the 28th Annual International Conference on Computer Science and Software Engineering, 2018

2017

RoboBUG: A Serious Game for Learning Debugging Techniques.

Michael A. Miljanovic, Jeremy S. Bradbury

Proceedings of the 2017 ACM Conference on International Computing Education Research, 2017

12th workshop on challenges for parallel computing.

Robert Ho, Jeeva Paudel, Jeremy S. Bradbury

Proceedings of the 27th Annual International Conference on Computer Science and Software Engineering, 2017

2016

Robot on!: a serious game for improving programming comprehension.

Michael A. Miljanovic, Jeremy S. Bradbury

Proceedings of the 5th International Workshop on Games and Software Engineering, 2016

11th Workshop on Challenges for Parallel Computing.

Robert Ho, Jeremy S. Bradbury, Kit Barton

Proceedings of the 26th Annual International Conference on Computer Science and Software Engineering, 2016

2015

10th workshop on challenges for parallel computing.

Robert Ho, Jeremy S. Bradbury, Kit Barton

Proceedings of 25th Annual International Conference on Computer Science and Software Engineering, 2015

2014

9th workshop on challenges for parallel computing.

Priya Unnikrishnan, Jeremy S. Bradbury, Kit Barton, Robert Ho

Proceedings of 24th Annual International Conference on Computer Science and Software Engineering, 2014

2013

Special section on Mutation testing (Mutation 2010).

Lydie du Bousquet, Jeremy S. Bradbury, Gordon Fraser

Sci. Comput. Program., 2013

UML Modelling of Design Patterns for Wireless Sensor Networks.

John Khalil Jacoub, Ramiro Liscano, Jeremy S. Bradbury, Jared Fisher

Proceedings of the SENSORNETS 2013, 2013

Automatically Repairing Concurrency Bugs with ARC.

David Kelk, Kevin Jalbert, Jeremy S. Bradbury

Proceedings of the Multicore Software Engineering, Performance, and Tools, 2013

Effectively using search-based software engineering techniques within model checking and its applications.

Jeremy S. Bradbury, David Kelk, Mark Green

Proceedings of the 1st International Workshop on Combining Modelling and Search-Based Software Engineering, 2013

8th Workshop on Challenges for Parallel Computing.

Priya Unnikrishnan, Kit Barton, Jeremy S. Bradbury, Reza Azimi

Proceedings of the Center for Advanced Studies on Collaborative Research, 2013

2012

Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools.

Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, David Kelk

Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, 2012

Predicting mutation score using source code and test suite metrics.

Kevin Jalbert, Jeremy S. Bradbury

Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, 2012

2011

Guest Editorial for Special Section on Mutation Testing.

Benoit Baudry, Jeremy S. Bradbury, Gordon Fraser

Inf. Softw. Technol., 2011

Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems.

Ahmad A. Saifan, Jürgen Dingel, Jeremy S. Bradbury, Ernesto Posse

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010

TIE: an interactive visualization of thread interleavings.

Gowritharan Maheswara, Jeremy S. Bradbury, Christopher Collins

Proceedings of the ACM 2010 Symposium on Software Visualization, 2010

How Good is Static Analysis at Finding Concurrency Bugs?

Devin Kester, Martin Mwebesa, Jeremy S. Bradbury

Proceedings of the Tenth IEEE International Working Conference on Source Code Analysis and Manipulation, 2010

Using clone detection to identify bugs in concurrent software.

Kevin Jalbert, Jeremy S. Bradbury

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

2007

Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking.

L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Dingel

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

2006

Using source transformation to test and model check implicit-invocation systems.

Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel

Sci. Comput. Program., 2006

2005

Implementation and Verification of Implicit-Invocation Systems Using Source Transformation.

Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel

Proceedings of the 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2005), 30 September, 2005

An empirical framework for comparing effectiveness of testing and property-based formal analysis.

Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel

Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2005

2004

A survey of self-management in dynamic software architecture specifications.

Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel, Michel Wermelinger

Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, 2004

2003

Evaluating and improving the automatic analysis of implicit invocation systems.

Jeremy S. Bradbury, Jürgen Dingel

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Hands on cooking: towards an attentive kitchen.

Jeremy S. Bradbury, Jeffrey S. Shell, Craig B. Knowles

Proceedings of the Extended abstracts of the 2003 Conference on Human Factors in Computing Systems, 2003