Jeremy S. Bradbury

Assistant Professor - Computer Science

Publications

For all papers please consult the publisher's website for copyright information (ACM, Elsevier, IEEE, IET, Springer).

Refereed Journal Publications

• 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

• 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

• 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).

Under Submission

• ...

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)

Faculty of Science, UOIT, 2000 Simcoe Street North, Oshawa, ON L1H 7K4

E-mail: Phone: 905.721.8668 ext. 3685, Fax: 905.721.3304

Office: UA4016, Science Building, Oshawa North Campus