Publications
For all papers please consult the publisher’s website for copyright information (ACM, Elsevier, IEEE, IET, Springer).
Conference Papers, Journal Papers & Book Chapters
- Amanda Showler, Michael A. Miljanovic, Jeremy S. Bradbury. “How Effective and Efficient Are Student-Written Software Tests?” Proc. of the Technical Symposium on Computer Science Education (SIGCSE 2025), Pittsburgh, PA, USA, Mar. 2025. [to appear]
- Kashif Hussain, Christopher Collins, Jeremy S. Bradbury. “PIE: A Tool for Visualizing the Lifecycle of Design Patterns in Open Source Software Projects.” Proc. of the 12th IEEE Working Conference on Software Visualization (VISSOFT 2024) – Tools Track, Flagstaff, AZ, USA, Oct. 2024. [to appear]
- Michael A. Miljanovic, Jeremy S. Bradbury. “Engineering Adaptive Serious Games Using Machine Learning.” in Software Engineering for Games in Serious Contexts – Theories, Methods, Tools, and Experiences, 2023, 17 pages.
- Lisa Zhang, Bogdan Simion, Michael Kaler, Amna Liaqat, Daniel Dick, Andi Bergen, Michael Miljanovic, and Andrew Petersen. “Embedding and Scaling Writing Instruction Across First- and Second-Year Computer Science Courses.” Proc. of the 54th ACM Technical Symposium on Computer Science Education (SIGCSE 2023), Toronto, Canada, March 2023, pages 610–616. [SIGCSE 2023 Best Paper Award]
- Nadia L. Goralski, Jeremy S. Bradbury. “Adapting Between Parsons Problems and Coding Tasks.” Proc. of the 54th ACM Technical Symposium on Computer Science Education (SIGCSE 2023) – Posters, Toronto, Canada, March 2023, pages 1289.
- 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.” Proc. of the 54th ACM Technical Symposium on Computer Science Education (SIGCSE 2023) – Posters, Toronto, Canada, March 2023, pages pages 1395.
- 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.
- 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.
- Michael A. Miljanovic. “Enhancing Computer Science Education with Adaptive Serious Games,” Proc. of the 15th ACM International Computing Education Research Conference (ICER 2019), The Doctoral Consortium track, Toronto, Canada, July 2019, 2 pp.
- 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 S. 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, USA, 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. “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.
- 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. “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, 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.
- 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.
- 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.
- 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)
Posters & 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”, In Technology 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).
Theses
- Joseph Heron. “Understanding and Predicting Method-level Source Code Changes Using Commit History Data,” MSc Thesis, Computer Science, Oct. 2016. [supervisor: J. Bradbury]
- Michael A. Miljanovic. “RoboBUG: A Game-Based Approach to Learning Debugging Techniques,” MSc Thesis, Computer Science, Apr. 2015. [supervisor: J. Bradbury]
- David Kelk. “CORE: A Framework for the Automatic Repair of Concurrency Bugs,” PhD Thesis, Computer Science, Feb. 2015. [supervisors: J. Bradbury, M. Green]
- John Khalil Jacoub. “Designing Power Aware Wireless Sensor Networks Leveraging Software Modeling Technicques,” PhD Thesis, Electrical and Computer Engineering, Apr. 2014. [supervisors: R. Liscano, J. Bradbury]
- Adam Contois. “Analyzing and Visualizing Community Data From Stack Overflow,” BSc Honours Thesis, Computing Science, Apr. 2013. [supervisor: J. Bradbury]
- Jason Hum. “Exploring the Relationship Between Code and Comment Churn,” BSc Honours Thesis, Computing Science, Apr. 2013. [supervisor: J. Bradbury]
- Ryan Watson. “Heterogeneous Haptic Computing,” BSc Honours Thesis, Computing Science, Apr. 2013. [supervisors: J. Bradbury, M. Green]
- Kevin Jalbert. “Predicting Mutation Score Using Source Code and Test Suite Metrics,” MSc Thesis, Computer Science, Sept. 2012. [supervisor: J. Bradbury]
- Rafael Ayala. “A Mobile Application for Searching Topics on Twitter and Assessing Result Credibility,” BSc Honours Thesis, Computing Science, Apr. 2012. [supervisor: J. Bradbury]
- Jared Hinde. “Towards an Educational Social Network for Computer Programming Courses,” BSc Honours Thesis, Computing Science, Apr. 2012. [supervisor: J. Bradbury]
- Daniel St. Jacques. “Open Source Release History Collection and Classification,” BSc Honours Thesis, Computing Science, Apr. 2011. [supervisor: J. Bradbury]
- Ben Waters. “Visualization of Mutation Test Data to Aid in Test Prioritization,” BSc Honours Thesis, Computing Science, Apr. 2012. [supervisors: J. Bradbury, C. Collins]
- Martin Mwebesa. “Identification and Annotation of Concurrency Design Patterns in Java Source Code using Static Analysis,” MSc Thesis, Computer Science, Nov. 2011. [supervisor: J. Bradbury]
- Bradley Chicoine. “An Online System for Visualizing UOIT Class Schedules,” BSc Honours Thesis, Computing Science, Apr. 2010. [supervisors: J. Bradbury, C. Collins, F. Qureshi]
- Kristina Glinos. “An Assessment of the IBM Concurrency Benchmark,” BSc Honours Thesis, Computing Science, Apr. 2010. [supervisor: J. Bradbury]
- Lisa Kosh. “An Empirical Assessment of the Software Coupling Effect,” BSc Honours Thesis, Computing Science, Apr. 2010. [supervisor: J. Bradbury]
- Gowritharan Maheswara. “Visualization of Thread Interleavings Produced by Java PathFinder,” BSc Honours Thesis, Computing Science, Apr. 2010. [supervisors: J. Bradbury, C. Collins]
- Devin Kester. “A Comparison of Bug Detecting Tools for Concurrent Java Programs,” BSc Honours Thesis, Computing Science, Dec. 2008. [supervisor: J. Bradbury]
- Eric White. “Profiling SVN Repositories,” BSc Honours Thesis, Computing Science, Dec. 2008. [supervisor: J. Bradbury]