Publications

Refereed Journal Publications

• John K. Jacoub, Ramiro Liscano, Jeremy S. Bradbury. “Assessment of Software Modeling Techniques for Wireless Sensor Networks: A Survey”, Sensors & Transducers Journal, 14-2, pages 18-46, Mar. 2012.
• Benoit Baudry, Jeremy S. Bradbury, Gordon Fraser. “Guest Editorial for Special Section on Mutation Testing”[editorial], Information & Software Technology, 53(10), pages 1097, Oct. 2011.
• Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy and Juergen Dingel. “Using Source Transformation to Test and Model Check Implicit-Invocation Systems”, Special Issue on Source Code Analysis and Manipulation, Science of Computer Programming, 62(3), pages 209–227, Oct. 2006.

Refereed Conference and Workshop Publications

• Stacey A. Koornneef, Jeremy S. Bradbury, Michael A. Miljanovic. “Run, Llama, Run: A Collaborative Physical and Online Coding Game for Children.” Proc. of the 53rd ACM Technical Symposium on Computer Science Education (SIGCSE 2022) – Demonstration (Abstract), Providence, Rhode Island, USA, March 2022, pages 1177.
• Jude Arokiam, Jeremy S. Bradbury. “Automatically Predicting Bug Severity Early in the Development Process,” Proc. of the 42nd International Conference on Software Engineering (ICSE 2020), The New Ideas and Emerging Results (NIER) track, Seoul, South Korea, Oct. 2020. (to appear)
• Michael A. Miljanovic, Jeremy S. Bradbury. “GidgetML: An Adaptive Serious Game for Enhancing First Year Programming Labs,” Proc. of the 42nd International Conference on Software Engineering (ICSE 2020), The Software Engineering Education and Training (SEET) track, Seoul, South Korea, Oct. 2020. (to appear)
• Michael A. Miljanovic, Jeremy S. Bradbury. “A Review of Serious Games for Programming,” Proc. of the 4th Joint Conference on Serious Games (JCSG 2018), pages 204-216, Darmstadt, Germany, Nov. 7-8, 2018.
• Michael A. Miljanovic, Jeremy S. Bradbury. “Making Serious Programming Games Adaptive,” Proc. of the 4th Joint Conference on Serious Games (JCSG 2018), pages 253-259, Darmstadt, Germany, Nov. 7-8, 2018.
• Michael A. Miljanovic, Jeremy S. Bradbury. “RoboBUG: A Serious Game for Learning Debugging,” Proc. of the 13th Annual ACM International Computing Education Research Conference (ICER 2017), pages 93-100, Tacoma, WA, USA, Aug. 2017.
• Michael A. Miljanovic, Jeremy S. Bradbury. “Robot ON!: A Serious Game for Improving Programming Comprehension,” Proc. of the 5th International Workshop on Games and Software Engineering (GAS 2016), pages 33-36, Austin, Texas, USA, May 2016.
• David Kelk, Kevin Jalbert, Jeremy Bradbury. “Automatically Repairing Concurrency Bugs with ARC,” Proc. of the 1st International Conference on Multicore Software Engineering, Performance, and Tools (MUSEPAT 2013), pages 73-84, Saint Petersburg, Russia, Aug. 2013.
• Jeremy S. Bradbury, David Kelk, Mark Green. “Effectively Using Search-Based Software Engineering Techniques within Model Checking and It’s Applications,” Proc. of the 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE 2013), pages 67-70, San Francisco, CA, USA, May 2013.
• John K. Jacoub, Ramiro Liscano, Jeremy S. Bradbury, Jared Fisher. “UML Modelling of Design Patterns for Wireless Sensor Networks,” Proc. of the 2nd International Conference on Sensor Networks (SENSORNETS 2013), Barcelona, Spain, Feb. 2013.
• Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, David Kelk. “Using Combinatorial Benchmark Construction to Improve the Assessment of Concurrency Bug Detection Tools,” Proc. of the 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2012), pages 25-35, Minneapolis, Minnesota, Jul. 2012.
• Kevin Jalbert and Jeremy S. Bradbury. “Predicting Mutation Score Using Source Code and Test Suite Metrics”, Proc. of the Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE 2012), Zurich, Switzerland, Jun. 2012, 5 pp. RAISE 2012 Best Paper Award.
• John K. Jacoub, Ramiro Liscano, Jeremy S. Bradbury. “A Survey of Modeling Techniques for Wireless Sensor Networks”, Proc. of the 5th International Conference on Sensor Technologies and Applications (SENSORCOMM 2011), pages 103-109, Nice/Saint Laurent du Var, France, Aug. 2011.
• Ahmad A. Saifan, Juergen Dingel, Jeremy S. Bradbury, Ernesto Posse. “Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems”, Proc. of the 4th IEEE International Conference on Software Testing, Verification and Validation (ICST 2011), pages 269-278, Berlin, Germany, Mar. 2011.
• Gowritharan Maheswara, Jeremy S. Bradbury, Christopher Collins. “TIE: An Interactive Visualization of Thread Interleavings”, Proc. of the 5th ACM Symposium on Software Visualization (SoftVis’10), pages 215-216, Salt Lake City, Utah, USA, Oct. 2010. SoftVis’10 Best Poster Award.
• Kevin Jalbert, Jeremy S. Bradbury. “Using Clone Detection to Identify Bugs in Concurrent Software”, Proc. of 26th IEEE International Conference on Software Maintenance (ICSM 2010), Timisoara, Romania, Sept. 2010, 5 pp.
• Devin Kester, Martin Mwebesa and Jeremy S. Bradbury. “How Good is Static Analysis at Finding Concurrency Bugs?”, Proc. of the 10th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2010), pages 115-124, Timisoara, Romania, Sept. 2010. Invited to a special journal issue.
• Jeremy S. Bradbury, Kevin Jalbert. “Automatic Repair of Concurrency Bugs”, Proc. of the 2nd International Symposium on Search Based Software Engineering (SSBSE 2010) – Fast Abstracts, Benevento, Italy, Sept. 2010, 2pp.
• Jeremy S. Bradbury and Kevin Jalbert. “Defining a Catalog of Programming Anti-Patterns for Concurrent Java”, In Proc. of the 3rd International Workshop on Software Patterns and Quality (SPAQu’09), pages 6-11, Orlando, Florida, USA, Oct. 2009.
• Jeremy S. Bradbury, James R. Cordy and Juergen Dingel. “Comparative Assessment of Testing and Model Checking Using Program Mutation”, In Proc. of the 3rd Workshop on Mutation Analysis (Mutation 2007), pages 210-219, Windsor, UK, Sept. 2007.
• L. Ruhai Cai, Jeremy S. Bradbury, Juergen Dingel. “Verifying Distributed, Event-Based Middleware Applications using Domain-Specific Software Model Checking”, In Proc. of 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS’07), Springer Verlag. Lecture Notes in Computer Science 4468. pages 44-58. Paphos, Cyprus. June 2007.
• Jeremy S. Bradbury, James R. Cordy and Juergen Dingel. “Mutation Operators for Concurrent Java (J2SE 5.0)”, In Proc. of the 2nd Workshop on Mutation Analysis (Mutation 2006), pages 83-92, Raleigh, North Carolina, USA, Nov. 2006.
• Jeremy S. Bradbury, James R. Cordy and Juergen Dingel. “ExMAn: A Generic and Customizable Framework for Experimental Mutation Analysis”, In Proc. of the 2nd Workshop on Mutation Analysis (Mutation 2006), pages 57-62, Raleigh, North Carolina, USA, Nov. 2006.
• Jeremy S. Bradbury. “Using Mutation for the Assessment and Optimization of Tests and Properties”, Doctoral Symposium being held in conjunction with the International Symposium on Software Testing and Analysis (ISSTA 2006), Portland Maine, USA, July 2006, 4 pp.
• Jeremy S. Bradbury, James R. Cordy and Juergen Dingel. “An Empirical Framework for Comparing Effectiveness of Testing and Property-Based Formal Analysis”, In Proc. of the 6th International ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2005), pages 2-5, Lisbon, Portugal, Sept. 2005.
• Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy and Juergen Dingel. “Implementation and Verification of Implicit-Invocation Systems Using Source Transformation.” In Proc. of the 5th International Workshop on Source Code Analysis and Manipulation (SCAM 2005), pages 87-96, Budapest, Hungary, Sept./Oct. 2005.Invited to a special issue of the Science of Computer Programming Journal.
• Jeremy S. Bradbury, James R. Cordy, Juergen Dingel, Michel Wermelinger. “A Survey of Self Management in Dynamic Software Architecture Specifications”, In Proc. of the 1st ACM SIGSOFT Workshop on Self-Managed Systems (WOSS’04), pages 28-33, Newport Beach, California, USA, Oct./Nov. 2004.
• Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy and Juergen Dingel. “A Transformational Framework for Testing and Model Checking Implicit-Invocation Systems”, In Proc. of the International Workshop on Distributed Event-Based Systems (DEBS’04), pages 110-115, Edinburgh, Scotland, UK, May 2004.
• Jeremy S. Bradbury and Juergen Dingel. “Evaluating and Improving the Automatic Analysis of Implicit Invocation Systems”, In Proc. of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2003), pages 78-87, Helsinki, Finland, Sept. 2003. Also published in ACM SIGSOFT Software Engineering Notes (28) 5, Sept. 2003.
• Jeffrey S. Shell, Jeremy S. Bradbury, Craig B. Knowles, Connor Dickie and Roel Vertegaal. “eyeCOOK: A Gaze and Speech Enabled Attentive Cookbook”, In Video Program of the International Conference on Ubiquitous Computing (UbiComp 2003), Seattle, Washington, United States, Oct. 2003.
• Jeremy S. Bradbury, Jeffrey S. Shell and Craig B. Knowles. “Hands on Cooking: Towards an Attentive Kitchen”, Extended Abstract in Proc. of the International Conference on Human Factors in Computing Systems (CHI 2003), pages 996-997, Fort Lauderdale, Florida, USA, Apr. 2003.

Conference Posters and Exhibits

• Jeremy Kwok, Jeremy S. Bradbury. “SyncDebugger: Automatic Bug Localization in Multithreaded Programs”, In Technology Showcase at the 25th Annual International Conference on Computer Science and Software Engineering (CASCON 2015), Markham, Ontario, Canada, Nov. 2015. Also presented at the poster session of the 2015 Fall Meeting of the Consortium for Software Engineering Research (CSER).
• Joseph Heron, Jeremy S. Bradbury. “GitView: Understanding Open Source Development”, In Technology Showcase at the 24th Annual International Conference on Computer Science and Software Engineering (CASCON 2014), Markham, Ontario, Canada, Nov. 2014.
• Michael Miljanovic, Jeremy S. Bradbury. “RoboBUG: Learning Debugging with Games”, In Technology Showcase at the 24th Annual International Conference on Computer Science and Software Engineering (CASCON 2014), Markham, Ontario, Canada, Nov. 2014.
• John Khalil Jacoub, Ramiro Liscano, Jeremy S. Bradbury, Jared Fisher. “UML Modelling and Analysis of Power Consumption for Wireless Sensor Networks”, In Technology Showcase at the 22th Annual International Conference on Computer Science and Software Engineering (CASCON 2012), Markham, Ontario, Canada, Nov. 2012.
• John Khalil Jacoub, Ramiro Liscano, Jeremy S. Bradbury, Jared Fisher. “Generation of TinyOS nesC Code from UML Models of Wireless Sensor Networks (WSNs)”, In the poster session of the 2012 Fall Meeting of the Consortium for Software Engineering Research (CSER), Markham, Ontario, Canada, Nov. 2012.
• Kevin Jalbert and Jeremy S. Bradbury. “Predicting How Difficult Bugs are to Detect Using Source Code Metrics”, In the poster session of the 2011 Spring Meeting of the Consortium for Software Engineering Research (CSER), Kingston, Ontario, Canada, June 2011.
• Martin Mwebesa and Jeremy S. Bradbury. “Using Static Analysis to Detect Concurrency Design Patterns”, In the poster session of the 2011 Spring Meeting of the Consortium for Software Engineering Research (CSER),Kingston, Ontario, Canada, June 2011.
• Kevin Jalbert, Cody LeBlanc, Christopher Forbes, Jeremy S. Bradbury and Ramiro Liscano. “Eclipticon: Eclipse Plugin for Concurrency Testing”, In the poster session of the 2011 Fall Meeting of the Consortium for Software Engineering Research (CSER), Markham, Ontario, Canada, Nov. 2012. Best poster award.
• Kevin Jalbert, David Kelk and Jeremy S. Bradbury. “ARC: Automatic Repair of Java Concurrency Bugs”, In the poster session of the 2011 Fall Meeting of the Consortium for Software Engineering Research (CSER),Markham, Ontario, Canada, Nov. 2012.
• Kevin Jalbert and Jeremy S. Bradbury. “A Tool for Automatically Repairing Concurrency Bugs”, In Technology Showcase at the 20th Annual International Conference on Computer Science and Software Engineering (CASCON 2010), Toronto, Ontario, Canada, Nov. 2010. Also presented at the poster session of the 2010 Fall Meeting of the Consortium for Software Engineering Research (CSER).
• Gowritharan Maheswara, Jeremy S. Bradbury, Christopher Collins. “TIE: Thread Interleaving Visualizer”, InTechnology Showcase at the 20th Annual International Conference on Computer Science and Software Engineering (CASCON 2010), Toronto, Ontario, Canada, Nov. 2010.
• Kevin Jalbert and Jeremy S. Bradbury. “Using Bug Patterns in the Regression Testing of Concurrent Software”, In Technology Showcase at the 19th Annual International Conference on Computer Science and Software Engineering (CASCON 2009), Toronto, Ontario, Canada, Nov. 2009. Also presented at the poster session of the 2009 Fall Meeting of the Consortium for Software Engineering Research (CSER).
• Jeremy S. Bradbury, James R. Cordy and Juergen Dingel. “Bugs and Concurrency: A Quantitative Assessment of Bug Detection Tools”, In Technology Showcase at the 16th Annual International Conference on Computer Science and Software Engineering (CASCON 2006), Markham, Ontario, Canada, Oct. 2006. Also presented at the poster session of the 2006 Fall Meeting of the Consortium for Software Engineering Research (CSER).

Non-Refereed Publications

• Jeremy S. Bradbury, Ian Rutherford, Matthew Graves, Jesse Tweedle and Robert Rosebrugh. “User Guide for Graphical Database for Category Theory 3.0”, Mount Allison University, Feb. 2006, 30 pp.
• Jeremy S. Bradbury “Organizing Definitions and Formalisms of Dynamic Software Architectures”, Technical Report 2004-477, Queen’s University, Mar. 2004, 49 pp.
• Jeremy S. Bradbury. “Graphical Database for Category Theory (GDCT)”, Abstract published at the Atlantic Provinces Council on the Sciences (APICS) Mathematics/Statistics and Computer Science Conference, Oct. 1999.

Theses

• Jeremy S. Bradbury. “Using Program Mutation for the Empirical Assessment of Fault Detection Techniques: A Comparison of Concurrency Testing and Model Checking”, Ph.D. Thesis. Queen’s University. June 2007, 151 pp. (Supervisors: James R. Cordy, Juergen Dingel)
• Jeremy S. Bradbury. “Model Checking Implicit-Invocation Systems: An Approach to the Automatic Analysis of Architectural Styles”, M.Sc. Thesis. Queen’s University. May 2002, 193 pp. (Supervisor: Juergen Dingel)