- Discovering Architectural Mismatch in Distributed Event-based Systems
- Automatic Repair of Concurrency Bugs Jeremy S. Bradbury, Kevin Jalbert
- A Survey of Self-Management in Dynamic Software Architecture Specifications
- How Good is Static Analysis at Finding Concurrency Bugs? Devin Kester, Martin Mwebesa, Jeremy S. Bradbury
- Using Bug Patterns in the Regression Testing of Concurrent Software
- ExMAn: A Generic and Customizable Framework for Experimental Mutation Analysis1
- 4. Func(onal Muta(on Operators A Tool for Automatically Repairing Concurrency Bugs
- SUPPORTED BY Jeremy S. Bradbury
- Using Source Transformation to Test and Model Check Implicit-Invocation Systems
- Defining a Catalog of Programming Anti-Patterns for Concurrent Java Jeremy S. Bradbury, Kevin Jalbert
- TIE: An Interactive Visualization of Thread Interleavings Gowritharan Maheswara, Jeremy S. Bradbury, Christopher Collins
- Using Clone Detection to Identify Bugs in Concurrent Software
- Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific
- A Transformational Framework for Testing and Model Checking Implicit Invocation Systems1
- An Empirical Framework for Comparing Effectiveness of Testing and Property-Based Formal Analysis
- Organizing Definitions and Formalisms for Dynamic Software Architectures
- Comparative Assessment of Testing and Model Checking Using Program Mutation
- Implementation and Verification of Implicit-Invocation Systems Using Source Transformation
- Using Mutation for the Assessment and Optimization of Tests and Properties
- Using Program Mutation for the Empirical Assessment of Fault Detection Techniques: A Comparison of
- Hands On Cooking: Towards an Attentive Kitchen Jeremy S. Bradbury, Jeffrey S. Shell, Craig B. Knowles
- Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems
- Mo#va#on TIE: An Interactive Visualization of Thread Interleavings
- Using Clone Detection to Identify Bugs in Concurrent Software
- Mutation Operators for Concurrent Java (J2SE 5.0)1 Jeremy S. Bradbury, James R. Cordy, Juergen Dingel
- Mutation Operators for Concurrent Java (J2SE 5.0) Technical Report 2006-520
- Using Mutation for the Assessment and Optimization of Tests and Properties
- Evaluating and Improving the Automatic Analysis of Implicit Invocation Systems
- 1. Motivation Finding Bugs in Concurrent Java Programs
- Mo#va#on TIE: Thread Interleaving Explorer
- ExMAn: A Generic and Customizable Framework for Experimental Mutation Analysis
- Model Checking Implicit-Invocation Systems: An Approach to the Automatic Analysis of
- A Survey of Modeling Techniques for Wireless Sensor Networks
- CSER 2011 Fall Meeting Registration Form Instructions By October 25th Please Either
- What does a good answer to this assignment look like? There are several parts to a good answer. The following are EXAMPLES ONLY of what a good answer
- CSCI 2030U Programming Workshop Laboratory #5 (2012)
- CSCI 2030U Programming Workshop Laboratory #3
- Course Outline CSCI 2030U: Programming Workshop Faculty of Science
- CSCI 2030U Programming Workshop Laboratory #4
- Course Outline CSCI 3060U/ENGR 3980U Faculty of Science & Faculty of Engineering and Applied Science
- CSCI 3060U/ENGR 3980U Winter 2012 2012 J.S. Bradbury Page 1 of 11 An Extreme Course Project
- CSCI 3060U/ENGR 3980U -Winter 2012 Course Project Assignment #2 -Front End Rapid Prototype
- CSCI 2030U Programming Workshop Laboratory #2
- CSCI 2030U Programming Workshop Laboratory #1
- General chair Jeremy S. Bradbury,
- CSCI 3060U/ENGR 3980U -Winter 2012 Course Project Assignment #3 -Front End Requirements Testing
- CSCI 2030U Programming Workshop Laboratory #6
- CSCI 3060U/ENGR 3980U -Winter 2012 Course Project Assignment #4 -Back End Rapid Prototype
- CSCI 3060U/ENGR 3980U -Winter 2012 Course Project Assignment #1 -Front End Requirements
