Jeremy Bradbury, Ph.D.'s Publications

Jeremy S Bradbury, Kevin Jalbert (2010) Automatic Repair of Concurrency Bugs. In Proc. of the 2nd International Symposium on Search Based Software Engineering (SSBSE 2010) - Fast Abstacts.

Devin Kester, Martin Mwebesa, Jeremy S Bradbury (2010) How Good is Static Analysis at Finding Concurrency Bugs?. In Proc. of the 10th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2010).

Gowritharan Maheswara, Jeremy S Bradbury, Christopher Collins (2010) TIE: An Interactive Visualization of Thread Interleavings. In Proc. of the 5th ACM Symposium on Software Visualization (SoftVis'10).

Kevin Jalbert, Jeremy S. Bradbury (2010) Using Clone Detection to Localize Testing Effort in Concurrent Software, 5. In Proc. of 26th IEEE International Conference on Software Maintenance (ICSM 2010).

Jeremy S Bradbury, Kevin Jalbert (2009) Defining a Catalog of Programming Anti-Patterns for Concurrent Java, 6-11. In Proc. of the 3rd International Workshop on Software Patterns and Quality (SPAQu'09).

Jeremy S Bradbury, James R Cordy, Juergen Dingel (2007) Comparative Assessment of Testing and Model Checking Using Program Mutation, 210-219. In Proc. of the 3rd Workshop on Mutation Analysis (Mutation 2007).

L Ruhai Cai, Jeremy S Bradbury, Juergen Dingel (2007) Verifying Distributed, Event-Based Middleware Applications using Domain-Specific Software Model Checking, 44-58. In Proc. of the 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.

Jeremy S Bradbury, James R Cordy, Juergen Dingel (2006) Mutation Operators for Concurrent {Java} ({J2SE 5.0}), 83-92. In Proc. of the 2nd Workshop on Mutation Analysis (Mutation 2006).

Jeremy S Bradbury (2006) Using Mutation for the Assessment and Optimization of Tests and Properties. In Doctoral Symposium being held in conjunction with the International Symposium on Software Testing and Analysis (ISSTA 2006).

Jeremy S Bradbury, James R Cordy, Juergen Dingel (2005) An Empirical Framework for Comparing Effectiveness of Testing and Property-Based Formal Analysis, 2-5. In Proc. of the 6th Int. ACM SIGPLAN-SIGSOFT Work. on Program Analysis for Software Tools and Engineering (PASTE 2005).

Hongyu Zhang, Jeremy S Bradbury, James R Cordy, Juergen Dingel (2005) Implementation and Verification of Implicit-Invocation Systems Using Source Transformation, 87-96. In Proc. of the 5th International Workshop on Source Code Analysis and Manipulation (SCAM 2005).

Jeremy S Bradbury, James R Cordy, Juergen Dingel, Michel Wermelinger (2004) A Survey of Self Management in Dynamic Software Architecture Specifications, 28-33. In Proc. of the 1st ACM SIGSOFT Workshop on Self-Managed Systems (WOSS'04).

Hongyu Zhang, Jeremy S Bradbury, James R Cordy, Juergen Dingel (2004) A Transformational Framework for Testing and Model Checking Implicit-Invocation Systems, 110-115. In Proc. of the International Workshop on Distributed Event-Based Systems (DEBS'04).

Jeremy S Bradbury, Juergen Dingel (2003) Evaluating and Improving the Automatic Analysis of Implicit Invocation Systems, 78-87. In In Proc. of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2003).

Jeremy S Bradbury, Jeffrey S Shell, Craig B Knowles (2003) Hands on Cooking: Towards an Attentive Kitchen (Extended Abstract), 996-997. In Proc. of the International Conference on Human Factors in Computing Systems (CHI 2003).

Jeffrey S Shell, Jeremy S Bradbury, Craig B Knowles, Connor Dickie, Roel Vertegaal (2003) {eyeCOOK}: A Gaze and Speech Enabled Attentive Cookbook. In Video Program of the International Conference on Ubiquitous Computing (UbiComp 2003).