Skip to content

Jeremy Bradbury

  • Ph.D.
  • Associate Professor
  • University of Ontario Institute of Technology
  • 9h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 351CitationsNumber of citations received by Jeremy's publications. Updated daily.

Publications (20)

  • Using Combinatorial Benchmark Construction to Improve the Assessment of Concurrency Bug Detection Tools

    • Bradbury J
    • Segall I
    • Farchi E
    • et al.
    N/AReaders
    N/ACitations
  • Guest Editorial for Special Section on Mutation Testing [editorial]

    • Baudry B
    • Bradbury J
    • Fraser G
    N/AReaders
    N/ACitations
  • Automatic Repair of Concurrency Bugs

    • Bradbury J
    • Jalbert K
    N/AReaders
    N/ACitations
  • How Good is Static Analysis at Finding Concurrency Bugs?

    • Kester D
    • Mwebesa M
    • Bradbury J
    N/AReaders
    N/ACitations
  • TIE: An Interactive Visualization of Thread Interleavings

    • Maheswara G
    • Bradbury J
    • Collins C
    N/AReaders
    N/ACitations
  • Using Clone Detection to Localize Testing Effort in Concurrent Software

    • Jalbert K
    • Bradbury J
    N/AReaders
    N/ACitations
  • Defining a Catalog of Programming Anti-Patterns for Concurrent Java

    • Bradbury J
    • Jalbert K
    N/AReaders
    N/ACitations
  • Using Bug Patterns in the Regression Testing of Concurrent Software

    • Jalbert K
    • Bradbury J
    N/AReaders
    N/ACitations
  • Using Program Mutation for the Empirical Assessment of Fault Detection Techniques: A Comparison of Concurrency Testing and Model Checking

    • Bradbury J
    N/AReaders
    N/ACitations
  • Verifying Distributed, Event-Based Middleware Applications using Domain-Specific Software Model Checking

    • Cai L
    • Bradbury J
    • Dingel J
    N/AReaders
    N/ACitations
  • {ExMAn}: A Generic and Customizable Framework for Experimental Mutation Analysis

    • Bradbury J
    • Cordy J
    • Dingel J
    N/AReaders
    N/ACitations
  • Mutation Operators for Concurrent {Java} ({J2SE 5.0})

    • Bradbury J
    • Cordy J
    • Dingel J
    N/AReaders
    N/ACitations
  • Using Mutation for the Assessment and Optimization of Tests and Properties

    • Bradbury J
    N/AReaders
    N/ACitations
  • An Empirical Framework for Comparing Effectiveness of Testing and Property-Based Formal Analysis

    • Bradbury J
    • Cordy J
    • Dingel J
    N/AReaders
    N/ACitations
  • A Survey of Self Management in Dynamic Software Architecture Specifications

    • Bradbury J
    • Cordy J
    • Dingel J
    • et al.
    N/AReaders
    N/ACitations
  • A Transformational Framework for Testing and Model Checking Implicit-Invocation Systems

    • Zhang H
    • Bradbury J
    • Cordy J
    • et al.
    N/AReaders
    N/ACitations
  • {eyeCOOK}: A Gaze and Speech Enabled Attentive Cookbook

    • Shell J
    • Bradbury J
    • Knowles C
    • et al.
    N/AReaders
    N/ACitations
  • Evaluating and Improving the Automatic Analysis of Implicit Invocation Systems

    • Bradbury J
    • Dingel J
    N/AReaders
    N/ACitations
  • Hands on Cooking: Towards an Attentive Kitchen (Extended Abstract)

    • Bradbury J
    • Shell J
    • Knowles C
    N/AReaders
    N/ACitations
  • Model Checking Implicit-Invocation Systems: An Approach to the Automatic Analysis of Architectural Styles

    • Bradbury J
    N/AReaders
    N/ACitations