 | 2011 |
| 12 |  | Ahmad A. Saifan,
Jürgen Dingel,
Jeremy S. Bradbury,
Ernesto Posse:
Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems.
ICST 2011: 269-278 |
| 11 |  | Benoit Baudry,
Jeremy S. Bradbury,
Gordon Fraser:
Guest Editorial for Special Section on Mutation Testing.
Information & Software Technology 53(10): 1097 (2011) |
| 2010 |
| 10 |  | Kevin Jalbert,
Jeremy S. Bradbury:
Using clone detection to identify bugs in concurrent software.
ICSM 2010: 1-5 |
| 9 |  | Devin Kester,
Martin Mwebesa,
Jeremy S. Bradbury:
How Good is Static Analysis at Finding Concurrency Bugs?
SCAM 2010: 115-124 |
| 8 |  | Gowritharan Maheswara,
Jeremy S. Bradbury,
Christopher Collins:
TIE: an interactive visualization of thread interleavings.
SOFTVIS 2010: 215-216 |
| 2007 |
| 7 |  | L. Ruhai Cai,
Jeremy S. Bradbury,
Jürgen Dingel:
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking.
FMOODS 2007: 44-58 |
| 2006 |
| 6 |  | Hongyu Zhang,
Jeremy S. Bradbury,
James R. Cordy,
Jürgen Dingel:
Using source transformation to test and model check implicit-invocation systems.
Sci. Comput. Program. 62(3): 209-227 (2006) |
| 2005 |
| 5 |  | Jeremy S. Bradbury,
James R. Cordy,
Jürgen Dingel:
An empirical framework for comparing effectiveness of testing and property-based formal analysis.
PASTE 2005: 2-5 |
| 4 |  | Hongyu Zhang,
Jeremy S. Bradbury,
James R. Cordy,
Jürgen Dingel:
Implementation and Verification of Implicit-Invocation Systems Using Source Transformation.
SCAM 2005: 87-96 |
| 2004 |
| 3 |  | Jeremy S. Bradbury,
James R. Cordy,
Jürgen Dingel,
Michel Wermelinger:
A survey of self-management in dynamic software architecture specifications.
WOSS 2004: 28-33 |
| 2003 |
| 2 |  | Jeremy S. Bradbury,
Jeffrey S. Shell,
Craig B. Knowles:
Hands on cooking: towards an attentive kitchen.
CHI Extended Abstracts 2003: 996-997 |
| 1 |  | Jeremy S. Bradbury,
Jürgen Dingel:
Evaluating and improving the automatic analysis of implicit invocation systems.
ESEC / SIGSOFT FSE 2003: 78-87 |