{"id":12,"date":"2015-02-09T23:01:48","date_gmt":"2015-02-09T23:01:48","guid":{"rendered":"http:\/\/www.sqrlab.ca\/bradbury\/?page_id=12"},"modified":"2025-04-17T14:45:51","modified_gmt":"2025-04-17T14:45:51","slug":"publications","status":"publish","type":"page","link":"http:\/\/www.sqrlab.ca\/bradbury\/publications\/","title":{"rendered":"Publications"},"content":{"rendered":"\n<div class=\"wp-block-cover alignwide is-light\" style=\"min-height:360px;aspect-ratio:unset;\"><span aria-hidden=\"true\" class=\"wp-block-cover__background has-background-dim-0 has-background-dim\" style=\"background-color:#9e988d\"><\/span><img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" width=\"750\" height=\"254\" data-attachment-id=\"359\" data-permalink=\"http:\/\/www.sqrlab.ca\/bradbury\/home\/bradbury_wide2\/\" data-orig-file=\"https:\/\/i0.wp.com\/www.sqrlab.ca\/bradbury\/wp-content\/uploads\/sites\/2\/2025\/02\/bradbury_wide2-scaled.jpg?fit=2560%2C868\" data-orig-size=\"2560,868\" data-comments-opened=\"1\" data-image-meta=\"{&quot;aperture&quot;:&quot;1.78&quot;,&quot;credit&quot;:&quot;&quot;,&quot;camera&quot;:&quot;iPhone 15 Pro Max&quot;,&quot;caption&quot;:&quot;&quot;,&quot;created_timestamp&quot;:&quot;1740650815&quot;,&quot;copyright&quot;:&quot;&quot;,&quot;focal_length&quot;:&quot;6.7649998656528&quot;,&quot;iso&quot;:&quot;50&quot;,&quot;shutter_speed&quot;:&quot;0.0078125&quot;,&quot;title&quot;:&quot;&quot;,&quot;orientation&quot;:&quot;1&quot;}\" data-image-title=\"bradbury_wide2\" data-image-description=\"\" data-image-caption=\"\" data-medium-file=\"https:\/\/i0.wp.com\/www.sqrlab.ca\/bradbury\/wp-content\/uploads\/sites\/2\/2025\/02\/bradbury_wide2-scaled.jpg?fit=300%2C102\" data-large-file=\"https:\/\/i0.wp.com\/www.sqrlab.ca\/bradbury\/wp-content\/uploads\/sites\/2\/2025\/02\/bradbury_wide2-scaled.jpg?fit=750%2C254\" class=\"wp-block-cover__image-background wp-image-359\" alt=\"\" src=\"https:\/\/i0.wp.com\/www.sqrlab.ca\/bradbury\/wp-content\/uploads\/sites\/2\/2025\/02\/bradbury_wide2-scaled.jpg?resize=750%2C254&#038;ssl=1\" data-object-fit=\"cover\" srcset=\"https:\/\/i0.wp.com\/www.sqrlab.ca\/bradbury\/wp-content\/uploads\/sites\/2\/2025\/02\/bradbury_wide2-scaled.jpg?w=2560 2560w, https:\/\/i0.wp.com\/www.sqrlab.ca\/bradbury\/wp-content\/uploads\/sites\/2\/2025\/02\/bradbury_wide2-scaled.jpg?resize=300%2C102 300w, https:\/\/i0.wp.com\/www.sqrlab.ca\/bradbury\/wp-content\/uploads\/sites\/2\/2025\/02\/bradbury_wide2-scaled.jpg?resize=1024%2C347 1024w, https:\/\/i0.wp.com\/www.sqrlab.ca\/bradbury\/wp-content\/uploads\/sites\/2\/2025\/02\/bradbury_wide2-scaled.jpg?resize=768%2C260 768w, https:\/\/i0.wp.com\/www.sqrlab.ca\/bradbury\/wp-content\/uploads\/sites\/2\/2025\/02\/bradbury_wide2-scaled.jpg?resize=1536%2C521 1536w, https:\/\/i0.wp.com\/www.sqrlab.ca\/bradbury\/wp-content\/uploads\/sites\/2\/2025\/02\/bradbury_wide2-scaled.jpg?resize=2048%2C694 2048w, https:\/\/i0.wp.com\/www.sqrlab.ca\/bradbury\/wp-content\/uploads\/sites\/2\/2025\/02\/bradbury_wide2-scaled.jpg?resize=1568%2C532 1568w, https:\/\/i0.wp.com\/www.sqrlab.ca\/bradbury\/wp-content\/uploads\/sites\/2\/2025\/02\/bradbury_wide2-scaled.jpg?w=2250 2250w\" sizes=\"auto, (max-width: 750px) 100vw, 750px\" \/><div class=\"wp-block-cover__inner-container is-layout-flow wp-block-cover-is-layout-flow\">\n<p class=\"has-text-align-center has-large-font-size\"><\/p>\n<\/div><\/div>\n\n\n\n<h4 class=\"wp-block-heading\">Refereed Book Chapters<\/h4>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Stacey Koornneef, Jeremy S. Bradbury, Michael A. Miljanovic, Miriam Sturdee. &#8220;Using Tangible and Hybrid Interfaces to Address Student Collaboration and Mistakes in K-5 Computational Thinking Games.&#8221;&nbsp;Accepted book chapter, Apr. 2025. <em>(to appear)<\/em><\/li>\n\n\n\n<li>Michael A. Miljanovic, Jeremy S. Bradbury.&nbsp;<a href=\"https:\/\/www.sqrlab.ca\/publications\/engineering-adaptive-serious-games-using-machine-learning\/\">\u201cEngineering Adaptive Serious Games Using Machine Learning.\u201d<\/a>&nbsp;in Software Engineering for Games in Serious Contexts \u2013 Theories, Methods, Tools, and Experiences, 2023, 17 pages.<\/li>\n<\/ul>\n\n\n\n<h4 class=\"wp-block-heading\">Refereed Journal Publications<\/h4>\n\n\n\n<ul class=\"wp-block-list\">\n<li>John K. Jacoub, Ramiro Liscano, Jeremy S. Bradbury. <a href=\"http:\/\/www.sqrlab.ca\/publications\/stj2012\/\">&#8220;Assessment of Software Modeling Techniques for Wireless Sensor Networks: A Survey&#8221;<\/a>, <em>Sensors &amp; Transducers Journal<\/em>, 14-2, pages 18-46, Mar. 2012.<\/li>\n\n\n\n<li>Benoit Baudry, Jeremy S. Bradbury, Gordon Fraser. <a href=\"http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0950584911000814\">&#8220;Guest Editorial for Special Section on Mutation Testing&#8221;<\/a>[editorial], <em>Information &amp; Software Technology<\/em>, 53(10), pages 1097, Oct. 2011.<\/li>\n\n\n\n<li>Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy and Juergen Dingel. <a href=\"http:\/\/www.sqrlab.ca\/publications\/scp2006\/\">&#8220;Using Source Transformation to Test and Model Check Implicit-Invocation Systems&#8221;<\/a>, <em>Special Issue on Source Code Analysis and Manipulation, Science of Computer Programming<\/em>, 62(3), pages 209\u2013227, Oct. 2006.<\/li>\n<\/ul>\n\n\n\n<h4 class=\"wp-block-heading\">Refereed Conference and Workshop Publications<\/h4>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Mosarrat Rumman, Emon Roy, Anushka Zaman, Jeremy S. Bradbury. \u201cA Contrastive Learning Approach to Bug Severity Classification with Large Language Model Embeddings.\u201d <em>Proc of the IEEE COMPSAC Symposium on Software Engineering Technologies &amp; Applications (SETA 2025) \u2013 Short Paper<\/em>, Toronto, Canada, Jul. 2025. <em>(to appear<\/em>)<\/li>\n\n\n\n<li>Jeremy S. Bradbury, Riddhi More. &#8220;Addressing Data Leakage in HumanEval Using Combinatorial Test Design.\u201d <em>Proc. of the&nbsp;International Conference on Software Testing, Verification and<\/em> <em>Validation (ICST 2025) &#8211; Short Papers, Vision and Emerging Results Track,<\/em> Napoli, Italy, Mar.\/Apr. 2025. <em>[to appear]<\/em>&nbsp;<\/li>\n\n\n\n<li>Riddhi More, Jeremy S. Bradbury. &#8220;An Analysis of LLM Fine-Tuning and Few-Shot Learning for Flaky Test Detection and Classification.\u201d <em>Proc. of the&nbsp;International Conference on Software Testing, Verification and<\/em> <em>Validation (ICST 2025)<\/em>, Napoli, Italy, Mar.\/Apr. 2025. <em>[to appear]<\/em>&nbsp;<\/li>\n\n\n\n<li>Riddhi More, Jeremy S. Bradbury. &#8220;Assessing Data Augmentation-Induced Bias in Training and Testing of Machine Learning Models.&#8221; <em>Proc. of the 1st International Workshop on Fairness in Software Systems (FAIRNESS 2025)<\/em>, Montreal, PQ, Canada, Mar. 2025.<em> [to appear]<\/em><\/li>\n\n\n\n<li>Amanda Showler, Michael A. Miljanovic, Jeremy S. Bradbury. &#8220;How Effective and Efficient are Student-Written Software Tests?&#8221; <em>Proc. of the Technical Symposium on Computer Science Education (SIGCSE 2025)<\/em>, Pittsburgh, PA, USA, Mar. 2025. <em>[to appear]<\/em><\/li>\n\n\n\n<li>Kashif Hussain, Christopher Collins, Jeremy S. Bradbury.&nbsp;<a href=\"https:\/\/www.sqrlab.ca\/publications\/vissoft2024\/\">\u201cPIE: A Tool for Visualizing the Lifecycle of Design Patterns in Open Source Software Projects.\u201d<\/a>&nbsp;<em>Proc. of the 12th IEEE Working Conference on Software Visualization (VISSOFT 2024)<\/em>&nbsp;<em>\u2013 Tools Track<\/em>, Flagstaff, AZ, USA, Oct. 2024.<\/li>\n\n\n\n<li>Nadia L. Goralski, Jeremy S. Bradbury.&nbsp;<a href=\"https:\/\/www.sqrlab.ca\/publications\/sigcse2023-goralski\/\">\u201cAdapting Between Parsons Problems and Coding Tasks.\u201d<\/a>&nbsp;<em>Proc. of the 54th ACM Technical Symposium on Computer Science Education (SIGCSE 2023) \u2013 Posters<\/em>, Toronto, Canada, March 2023, pages 1289.<\/li>\n\n\n\n<li>Stacey A. Koornneef, Jeremy S. Bradbury, Michael A. Miljanovic.&nbsp;<a href=\"https:\/\/www.sqrlab.ca\/publications\/sigcse2023-koornneef\/\">\u201cRun, Llama, Run: A Computational Thinking Game for K-5 Students Designed to Support Equitable Access.\u201d<\/a>&nbsp;<em>Proc. of the 54th ACM Technical Symposium on Computer Science Education (SIGCSE 2023) \u2013 Posters<\/em>, Toronto, Canada, March 2023, pages pages 1395.<\/li>\n\n\n\n<li>Stacey A. Koornneef, Jeremy S. Bradbury, Michael A. Miljanovic.&nbsp;<a href=\"https:\/\/www.sqrlab.ca\/publications\/sigcse2022\/\">\u201cRun, Llama, Run: A Collaborative Physical and Online Coding Game for Children.\u201d<\/a>&nbsp;<em>Proc. of the 53rd ACM Technical Symposium on Computer Science Education (SIGCSE 2022) \u2013 Demonstration (Abstract)<\/em>, Providence, Rhode Island, USA, March 2022, pages 1177.<\/li>\n\n\n\n<li><span class=\"s1\">Jude Arokiam, Jeremy S. Bradbury. <\/span><a href=\"http:\/\/www.sqrlab.ca\/publications\/icse2020-nier\/\">&#8220;Automatically Predicting Bug Severity Early in the Development Process,&#8221;<\/a> <em>Proc. of the 42nd International Conference on Software Engineering (ICSE 2020), The New Ideas and Emerging Results (NIER) track<\/em>, Seoul, South Korea, Oct. 2020. <\/li>\n\n\n\n<li><span class=\"s1\">Michael A. Miljanovic, Jeremy S. Bradbury. <\/span><a href=\"http:\/\/www.sqrlab.ca\/publications\/icse2020-seet\/\">&#8220;GidgetML: An Adaptive Serious Game for Enhancing First Year Programming Labs,&#8221;<\/a> <em>Proc. of the 42nd International Conference on Software Engineering (ICSE 2020), The Software Engineering Education and Training (SEET) track<\/em>, Seoul, South Korea, Oct. 2020. <\/li>\n\n\n\n<li><span class=\"s1\">Michael A. Miljanovic, Jeremy S. Bradbury. <a href=\"http:\/\/www.sqrlab.ca\/publications\/jcsg2018b\/\">\u201cA Review of Serious Games for Programming,\u201d<\/a>&nbsp;<em>Proc. of the 4th Joint Conference on Serious Games (JCSG 2018), <\/em><span class=\"page-numbers-info\"> pages 204-216<\/span><em>, <\/em>Darmstadt, Germany,&nbsp;Nov. 7-8, 2018.<\/span><\/li>\n\n\n\n<li><span class=\"s1\">Michael A. Miljanovic, Jeremy S. Bradbury. <a href=\"http:\/\/www.sqrlab.ca\/publications\/jcsg2018a\/\">\u201cMaking Serious Programming Games Adaptive,\u201d<\/a>&nbsp;<em>Proc. of the 4th Joint Conference on Serious Games (JCSG 2018)<\/em>, pages 253-259, Darmstadt, Germany,&nbsp;Nov. 7-8, 2018.<\/span><\/li>\n\n\n\n<li><span class=\"s1\">Michael A. Miljanovic, Jeremy S. Bradbury. <a href=\"http:\/\/www.sqrlab.ca\/icer2017\/\">&#8220;RoboBUG: A Serious Game for Learning Debugging,&#8221;<\/a>&nbsp;<em>Proc. of the 13th&nbsp;Annual ACM International Computing Education Research Conference (ICER 2017)<\/em>, pages 93-100, Tacoma, WA, USA, Aug. 2017.<\/span><\/li>\n\n\n\n<li><span class=\"s1\">Michael A. Miljanovic, Jeremy S. Bradbury. <a href=\"http:\/\/www.sqrlab.ca\/publications\/gas2016\/\">&#8220;Robot ON!: A Serious Game for Improving Programming Comprehension,&#8221;<\/a> <em>Proc. of the&nbsp;5th&nbsp;International Workshop on Games and Software Engineering (GAS 2016)<\/em>, pages 33-36, Austin, Texas, USA, May 2016.<\/span><\/li>\n\n\n\n<li>David Kelk, Kevin Jalbert, Jeremy Bradbury. <a href=\"http:\/\/www.sqrlab.ca\/publications\/musepat2013\/\">&#8220;Automatically Repairing Concurrency Bugs with ARC,&#8221;<\/a> <em>Proc. of the 1st International Conference on Multicore Software Engineering, Performance, and Tools (MUSEPAT 2013)<\/em>, pages 73-84, Saint Petersburg, Russia, Aug. 2013.<\/li>\n\n\n\n<li>Jeremy S. Bradbury, David Kelk, Mark Green. <a href=\"http:\/\/www.sqrlab.ca\/publications\/cmsbse2013\/\">&#8220;Effectively Using Search-Based Software Engineering Techniques within Model Checking and It&#8217;s Applications,&#8221;<\/a> <em>Proc. of the 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE 2013)<\/em>, pages 67-70, San Francisco, CA, USA, May 2013.<\/li>\n\n\n\n<li>John K. Jacoub, Ramiro Liscano, Jeremy S. Bradbury, Jared Fisher. <a href=\"http:\/\/www.sqrlab.ca\/publications\/sensornets2013\/\">&#8220;UML Modelling of Design Patterns for Wireless Sensor Networks,&#8221;<\/a> <em>Proc. of the 2nd International Conference on Sensor Networks (SENSORNETS 2013)<\/em>, Barcelona, Spain, Feb. 2013.<\/li>\n\n\n\n<li>Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, David Kelk. <a href=\"http:\/\/www.sqrlab.ca\/publications\/padtad2012\/\">&#8220;Using Combinatorial Benchmark Construction to Improve the Assessment of Concurrency Bug Detection Tools,&#8221;<\/a> <em>Proc. of the 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2012)<\/em>, pages 25-35, Minneapolis, Minnesota, Jul. 2012.<\/li>\n\n\n\n<li>Kevin Jalbert and Jeremy S. Bradbury. <a href=\"http:\/\/www.sqrlab.ca\/publications\/raise2012\/\">&#8220;Predicting Mutation Score Using Source Code and Test Suite Metrics&#8221;<\/a>,&nbsp;<em>Proc. of the Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE 2012)<\/em>, Zurich, Switzerland, Jun. 2012, 5 pp. <span class=\"paperaward\">RAISE 2012 Best Paper Award.<\/span><\/li>\n\n\n\n<li>John K. Jacoub, Ramiro Liscano, Jeremy S. Bradbury. <a href=\"http:\/\/www.sqrlab.ca\/publications\/sensorcomm2011\/\">&#8220;A Survey of Modeling Techniques for Wireless Sensor Networks&#8221;<\/a>, <em>Proc. of the 5th International Conference on Sensor Technologies and Applications (SENSORCOMM 2011)<\/em>, pages 103-109, Nice\/Saint Laurent du Var, France, Aug. 2011.<\/li>\n\n\n\n<li>Ahmad A. Saifan, Juergen Dingel, Jeremy S. Bradbury, Ernesto Posse. <a href=\"http:\/\/www.sqrlab.ca\/publications\/icst2011\/\">&#8220;Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems&#8221;<\/a>, <em>Proc. of the 4th IEEE International Conference on Software Testing, Verification and Validation (ICST 2011)<\/em>, pages 269-278, Berlin, Germany, Mar. 2011.<\/li>\n\n\n\n<li>Gowritharan Maheswara, Jeremy S. Bradbury, Christopher Collins. <a href=\"http:\/\/www.sqrlab.ca\/publications\/softvis2010\/\">&#8220;TIE: An Interactive Visualization of Thread Interleavings&#8221;<\/a>, <em>Proc. of the 5th ACM Symposium on Software Visualization (SoftVis&#8217;10)<\/em>, pages 215-216, Salt Lake City, Utah, USA, Oct. 2010. <span class=\"paperaward\">SoftVis&#8217;10 Best Poster Award.<\/span><\/li>\n\n\n\n<li>Kevin Jalbert, Jeremy S. Bradbury. <a href=\"http:\/\/www.sqrlab.ca\/publications\/icsm2010\/\">&#8220;Using Clone Detection to Identify Bugs in Concurrent Software&#8221;<\/a>, <em>Proc. of 26th IEEE International Conference on Software Maintenance (ICSM 2010),<\/em> Timisoara, Romania, Sept. 2010, 5 pp.<\/li>\n\n\n\n<li>Devin Kester, Martin Mwebesa and Jeremy S. Bradbury. <a href=\"http:\/\/www.sqrlab.ca\/publications\/scam2010\/\">&#8220;How Good is Static Analysis at Finding Concurrency Bugs?&#8221;<\/a>, <em>Proc. of the 10th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2010)<\/em>, pages 115-124, Timisoara, Romania, Sept. 2010. <span class=\"paperaward\">Invited to a special journal issue.<\/span><\/li>\n\n\n\n<li>Jeremy S. Bradbury, Kevin Jalbert. <a href=\"http:\/\/www.sqrlab.ca\/publications\/ssbse2010\/\">&#8220;Automatic Repair of Concurrency Bugs&#8221;<\/a>, <em>Proc. of the 2nd International Symposium on Search Based Software Engineering (SSBSE 2010) &#8211; Fast Abstracts<\/em>, Benevento, Italy, Sept. 2010, 2pp.<\/li>\n\n\n\n<li>Jeremy S. Bradbury and Kevin Jalbert. <a href=\"http:\/\/www.sqrlab.ca\/publications\/spaqu2009\/\">&#8220;Defining a Catalog of Programming Anti-Patterns for Concurrent Java&#8221;<\/a>, In <em>Proc. of the 3rd International Workshop on Software Patterns and Quality (SPAQu&#8217;09)<\/em>, pages 6-11, Orlando, Florida, USA, Oct. 2009.<\/li>\n\n\n\n<li>Jeremy S. Bradbury, James R. Cordy and Juergen Dingel. <a href=\"http:\/\/www.sqrlab.ca\/publications\/mutation2007\/\">&#8220;Comparative Assessment of Testing and Model Checking Using Program Mutation&#8221;<\/a>, In Proc. of the <em>3rd Workshop on Mutation Analysis (Mutation 2007)<\/em>, pages 210-219, Windsor, UK, Sept. 2007.<\/li>\n\n\n\n<li>L. Ruhai Cai, Jeremy S. Bradbury, Juergen Dingel. <a href=\"http:\/\/www.sqrlab.ca\/publications\/fmoods2007\/\">&#8220;Verifying Distributed, Event-Based Middleware Applications using Domain-Specific Software Model Checking&#8221;<\/a>, In Proc. of <em>9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS&#8217;07)<\/em>, Springer Verlag. Lecture Notes in Computer Science 4468. pages 44-58. Paphos, Cyprus. June 2007.<\/li>\n\n\n\n<li>Jeremy S. Bradbury, James R. Cordy and Juergen Dingel. <a href=\"http:\/\/www.sqrlab.ca\/publications\/mutation2006b\/\">&#8220;Mutation Operators for Concurrent Java (J2SE 5.0)&#8221;<\/a>, In Proc. of the <em>2nd Workshop on Mutation Analysis (Mutation 2006)<\/em>, pages 83-92, Raleigh, North Carolina, USA, Nov. 2006.<\/li>\n\n\n\n<li>Jeremy S. Bradbury, James R. Cordy and Juergen Dingel. <a href=\"http:\/\/www.sqrlab.ca\/publications\/mutation2006a\/\">&#8220;ExMAn: A Generic and Customizable Framework for Experimental Mutation Analysis&#8221;<\/a>, In Proc. of the <em>2nd Workshop on Mutation Analysis (Mutation 2006)<\/em>, pages 57-62, Raleigh, North Carolina, USA, Nov. 2006.<\/li>\n\n\n\n<li>Jeremy S. Bradbury. <a href=\"http:\/\/www.sqrlab.ca\/publications\/issta2006\/\">&#8220;Using Mutation for the Assessment and Optimization of Tests and Properties&#8221;<\/a>, <em>Doctoral Symposium being held in conjunction with the International Symposium on Software Testing and Analysis (ISSTA 2006)<\/em>, Portland Maine, USA, July 2006, 4 pp.<\/li>\n\n\n\n<li>Jeremy S. Bradbury, James R. Cordy and Juergen Dingel. <a href=\"http:\/\/www.sqrlab.ca\/publications\/paste2005\/\">&#8220;An Empirical Framework for Comparing Effectiveness of Testing and Property-Based Formal Analysis&#8221;<\/a>, In Proc. of the <em>6th International ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2005)<\/em>, pages 2-5, Lisbon, Portugal, Sept. 2005.<\/li>\n\n\n\n<li>Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy and Juergen Dingel. <a href=\"http:\/\/www.sqrlab.ca\/publications\/scam2005\/\">&#8220;Implementation and Verification of Implicit-Invocation Systems Using Source Transformation.&#8221;<\/a> In Proc. of the <em>5th International Workshop on Source Code Analysis and Manipulation (SCAM 2005)<\/em>, pages 87-96, Budapest, Hungary, Sept.\/Oct. 2005.<span class=\"paperaward\">Invited to a special issue of the Science of Computer Programming Journal.<\/span><\/li>\n\n\n\n<li>Jeremy S. Bradbury, James R. Cordy, Juergen Dingel, Michel Wermelinger. <a href=\"http:\/\/www.sqrlab.ca\/publications\/woss2004\/\">&#8220;A Survey of Self Management in Dynamic Software Architecture Specifications&#8221;<\/a>, In Proc. of the <em>1st ACM SIGSOFT Workshop on Self-Managed Systems (WOSS&#8217;04)<\/em>, pages 28-33, Newport Beach, California, USA, Oct.\/Nov. 2004.<\/li>\n\n\n\n<li>Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy and Juergen Dingel. <a href=\"http:\/\/www.sqrlab.ca\/publications\/debs2004\/\">&#8220;A Transformational Framework for Testing and Model Checking Implicit-Invocation Systems&#8221;<\/a>, In Proc. of the <em>International Workshop on Distributed Event-Based Systems (DEBS&#8217;04)<\/em>, pages 110-115, Edinburgh, Scotland, UK, May 2004.<\/li>\n\n\n\n<li>Jeremy S. Bradbury and Juergen Dingel. <a href=\"http:\/\/www.sqrlab.ca\/publications\/esec-fse2003\/\">&#8220;Evaluating and Improving the Automatic Analysis of Implicit Invocation Systems&#8221;<\/a>, In Proc. of the <em>European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC\/FSE 2003)<\/em>, pages 78-87, Helsinki, Finland, Sept. 2003. Also published in ACM SIGSOFT Software Engineering Notes (28) 5, Sept. 2003.<\/li>\n\n\n\n<li>Jeffrey S. Shell, Jeremy S. Bradbury, Craig B. Knowles, Connor Dickie and Roel Vertegaal. &#8220;eyeCOOK: A Gaze and Speech Enabled Attentive Cookbook&#8221;, In Video Program of the <em>International Conference on Ubiquitous Computing (UbiComp 2003)<\/em>, Seattle, Washington, United States, Oct. 2003.<\/li>\n\n\n\n<li>Jeremy S. Bradbury, Jeffrey S. Shell and Craig B. Knowles. &#8220;Hands on Cooking: Towards an Attentive Kitchen&#8221;, Extended Abstract in Proc. of the <em>International Conference on Human Factors in Computing Systems (CHI 2003)<\/em>, pages 996-997, Fort Lauderdale, Florida, USA, Apr. 2003.<\/li>\n<\/ul>\n\n\n\n<h4 class=\"wp-block-heading\">Conference Posters and Exhibits<\/h4>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Jeremy Kwok, Jeremy S. Bradbury. &#8220;SyncDebugger: Automatic Bug Localization in Multithreaded Programs&#8221;, In <em>Technology Showcase at the 25th&nbsp;Annual International Conference on Computer Science and Software Engineering&nbsp;(CASCON 2015)<\/em>, Markham, Ontario, Canada, Nov. 2015. Also presented at the poster session of the 2015<em>&nbsp;Fall Meeting of the Consortium for Software Engineering Research (CSER)<\/em>.<\/li>\n\n\n\n<li>Joseph Heron, Jeremy S. Bradbury. \u201cGitView: Understanding Open Source Development\u201d, In <em>Technology Showcase at the 24th Annual International Conference on Computer Science and Software Engineering (CASCON 2014)<\/em>, Markham, Ontario, Canada, Nov. 2014.<\/li>\n\n\n\n<li>Michael Miljanovic, Jeremy S. Bradbury. \u201cRoboBUG: Learning Debugging with Games\u201d, In <em>Technology Showcase at the 24th Annual International Conference on Computer Science and Software Engineering (CASCON 2014)<\/em>, Markham, Ontario, Canada, Nov. 2014.<\/li>\n\n\n\n<li>John Khalil Jacoub, Ramiro Liscano, Jeremy S. Bradbury, Jared Fisher. &#8220;UML Modelling and Analysis of Power Consumption for Wireless Sensor Networks&#8221;, In <em>Technology Showcase at the 22th Annual International Conference on Computer Science and Software Engineering (CASCON 2012)<\/em>, Markham, Ontario, Canada, Nov. 2012.<\/li>\n\n\n\n<li>John Khalil Jacoub, Ramiro Liscano, Jeremy S. Bradbury, Jared Fisher. &#8220;Generation of TinyOS nesC Code from UML Models of Wireless Sensor Networks (WSNs)&#8221;, In the poster session of the <em>2012 Fall Meeting of the Consortium for Software Engineering Research (CSER)<\/em>, Markham, Ontario, Canada, Nov. 2012.<\/li>\n\n\n\n<li>Kevin Jalbert and Jeremy S. Bradbury. &#8220;Predicting How Difficult Bugs are to Detect Using Source Code Metrics&#8221;, In the poster session of the <em>2011 Spring Meeting of the Consortium for Software Engineering Research (CSER)<\/em>, Kingston, Ontario, Canada, June 2011.<\/li>\n\n\n\n<li>Martin Mwebesa and Jeremy S. Bradbury. &#8220;Using Static Analysis to Detect Concurrency Design Patterns&#8221;, In the poster session of the <em>2011 Spring Meeting of the Consortium for Software Engineering Research (CSER),<\/em>Kingston, Ontario, Canada, June 2011.<\/li>\n\n\n\n<li>Kevin Jalbert, Cody LeBlanc, Christopher Forbes, Jeremy S. Bradbury and Ramiro Liscano. &#8220;Eclipticon: Eclipse Plugin for Concurrency Testing&#8221;, In the poster session of the <em>2011 Fall Meeting of the Consortium for Software Engineering Research (CSER), <\/em>Markham, Ontario, Canada, Nov. 2012. <span class=\"paperaward\">Best poster award.<\/span><\/li>\n\n\n\n<li>Kevin Jalbert, David Kelk and Jeremy S. Bradbury. &#8220;ARC: Automatic Repair of Java Concurrency Bugs&#8221;, In the poster session of the <em>2011 Fall Meeting of the Consortium for Software Engineering Research (CSER)<\/em><em>,<\/em>Markham, Ontario, Canada, Nov. 2012.<\/li>\n\n\n\n<li>Kevin Jalbert and Jeremy S. Bradbury. &#8220;A Tool for Automatically Repairing Concurrency Bugs&#8221;, In <em>Technology Showcase at the 20th Annual International Conference on Computer Science and Software Engineering (CASCON 2010)<\/em>, Toronto, Ontario, Canada, Nov. 2010. Also presented at the poster session of the <em>2010 Fall Meeting of the Consortium for Software Engineering Research (CSER)<\/em>.<\/li>\n\n\n\n<li>Gowritharan Maheswara, Jeremy S. Bradbury, Christopher Collins. &#8220;TIE: Thread Interleaving Visualizer&#8221;, In<em>Technology Showcase at the 20th Annual International Conference on Computer Science and Software Engineering (CASCON 2010)<\/em>, Toronto, Ontario, Canada, Nov. 2010.<\/li>\n\n\n\n<li>Kevin Jalbert and Jeremy S. Bradbury. &#8220;Using Bug Patterns in the Regression Testing of Concurrent Software&#8221;, In <em>Technology Showcase at the 19th Annual International Conference on Computer Science and Software Engineering (CASCON 2009)<\/em>, Toronto, Ontario, Canada, Nov. 2009. Also presented at the poster session of the <em>2009 Fall Meeting of the Consortium for Software Engineering Research (CSER)<\/em>.<\/li>\n\n\n\n<li>Jeremy S. Bradbury, James R. Cordy and Juergen Dingel. &#8220;Bugs and Concurrency: A Quantitative Assessment of Bug Detection Tools&#8221;, In <em>Technology Showcase at the 16th Annual International Conference on Computer Science and Software Engineering (CASCON 2006)<\/em>, Markham, Ontario, Canada, Oct. 2006. Also presented at the poster session of the <em>2006 Fall Meeting of the Consortium for Software Engineering Research (CSER)<\/em>.<\/li>\n<\/ul>\n\n\n\n<h4 class=\"wp-block-heading\">Non-Refereed Publications<\/h4>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Jeremy S. Bradbury, Ian Rutherford, Matthew Graves, Jesse Tweedle and Robert Rosebrugh. &#8220;User Guide for Graphical Database for Category Theory 3.0&#8221;, Mount Allison University, Feb. 2006, 30 pp.<\/li>\n\n\n\n<li>Jeremy S. Bradbury &#8220;Organizing Definitions and Formalisms of Dynamic Software Architectures&#8221;, Technical Report 2004-477, Queen\u2019s University, Mar. 2004, 49 pp.<\/li>\n\n\n\n<li>Jeremy S. Bradbury. &#8220;Graphical Database for Category Theory (GDCT)&#8221;, Abstract published at the <em>Atlantic Provinces Council on the Sciences (APICS) Mathematics\/Statistics and Computer Science Conference<\/em>, Oct. 1999.<\/li>\n<\/ul>\n\n\n\n<h4 class=\"wp-block-heading\">Theses<\/h4>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Jeremy S. Bradbury. <a href=\"http:\/\/www.sqrlab.ca\/papers\/queens2007\/\">&#8220;Using Program Mutation for the Empirical Assessment of Fault Detection Techniques: A Comparison of Concurrency Testing and Model Checking&#8221;<\/a>, Ph.D. Thesis. Queen&#8217;s University. June 2007, 151 pp. (Supervisors: James R. Cordy, Juergen Dingel)<\/li>\n\n\n\n<li>Jeremy S. Bradbury. <a href=\"http:\/\/www.sqrlab.ca\/publications\/queens2002\/\">&#8220;Model Checking Implicit-Invocation Systems: An Approach to the Automatic Analysis of Architectural Styles&#8221;<\/a>, M.Sc. Thesis. Queen&#8217;s University. May 2002, 193 pp. (Supervisor: Juergen Dingel)<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Refereed Book Chapters Refereed Journal Publications Refereed Conference and Workshop Publications Conference Posters and Exhibits Non-Refereed Publications Theses<\/p>\n","protected":false},"author":1,"featured_media":221,"parent":0,"menu_order":1,"comment_status":"closed","ping_status":"open","template":"","meta":{"jetpack_post_was_ever_published":false,"footnotes":""},"class_list":["post-12","page","type-page","status-publish","has-post-thumbnail","hentry","entry"],"jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/P5JoiZ-c","jetpack-related-posts":[],"_links":{"self":[{"href":"http:\/\/www.sqrlab.ca\/bradbury\/wp-json\/wp\/v2\/pages\/12","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.sqrlab.ca\/bradbury\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/www.sqrlab.ca\/bradbury\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/www.sqrlab.ca\/bradbury\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.sqrlab.ca\/bradbury\/wp-json\/wp\/v2\/comments?post=12"}],"version-history":[{"count":40,"href":"http:\/\/www.sqrlab.ca\/bradbury\/wp-json\/wp\/v2\/pages\/12\/revisions"}],"predecessor-version":[{"id":373,"href":"http:\/\/www.sqrlab.ca\/bradbury\/wp-json\/wp\/v2\/pages\/12\/revisions\/373"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/www.sqrlab.ca\/bradbury\/wp-json\/wp\/v2\/media\/221"}],"wp:attachment":[{"href":"http:\/\/www.sqrlab.ca\/bradbury\/wp-json\/wp\/v2\/media?parent=12"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}