Travelled to:1 × Finland
1 × Germany
1 × Hungary
1 × Portugal
1 × USA
2 × Romania
Collaborated with:J.Dingel J.R.Cordy K.Jalbert H.Zhang D.Kester M.Mwebesa G.Maheswara C.Collins A.A.Saifan E.Posse
Talks about:system (4) implicit (3) analysi (3) invoc (3) use (3) transform (2) implement (2) concurr (2) sourc (2) evalu (2)
Person: Jeremy S. Bradbury
DBLP: Bradbury:Jeremy_S=
Contributed to:
2011
2010
2010
2010
200520052006
2003Wrote 8 papers:
- ICST-2011-SaifanDBP #consistency #implementation #mobile #runtime
- Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems (AAS, JD, JSB, EP), pp. 269–278.
- ICSM-2010-JalbertB #clone detection #concurrent #debugging #detection #identification #using
- Using clone detection to identify bugs in concurrent software (KJ, JSB), pp. 1–5.
- SCAM-2010-KesterMB #concurrent #debugging #how #question #static analysis
- How Good is Static Analysis at Finding Concurrency Bugs? (DK, MM, JSB), pp. 115–124.
- SOFTVIS-2010-MaheswaraBC #concurrent #interactive #named #thread #visualisation
- TIE: an interactive visualization of thread interleavings (GM, JSB, CC), pp. 215–216.
- PASTE-2005-BradburyCD #analysis #effectiveness #empirical #formal method #framework #testing
- An empirical framework for comparing effectiveness of testing and property-based formal analysis (JSB, JRC, JD), pp. 2–5.
- SCAM-2005-ZhangBCD #implementation #using #verification
- Implementation and Verification of Implicit-Invocation Systems Using Source Transformation (HZ, JSB, JRC, JD), pp. 87–96.
- SCAM-J-2005-ZhangBCD06 #using
- Using source transformation to test and model check implicit-invocation systems (HZ, JSB, JRC, JD), pp. 209–227.
- ESEC-FSE-2003-BradburyD #analysis #automation
- Evaluating and improving the automatic analysis of implicit invocation systems (JSB, JD), pp. 78–87.