Research work

The research work discussed on this page was partially supported by the Natural Sciences and Engineering Research Council of Canada (NSERC). If you have any questions or comments feel free to contact me directly.

Current Projects

Concurrency benchmark A Concurrency Benchmark for the Assessment of Software Quality Assurance Tools
Jeremy S. Bradbury, Kristina Glinos, Martin Mwebesa
Comparison of ConTest, Java PathFinder (depth-search), Java PathFinder (random search) Empirical Comparison of Bug Detection Technique for Concurrent Software
 Jeremy S. Bradbury, James R. Cordy, Juergen Dingel, Devin Kester, Martin Mwebesa
Clone detection of concurrent software Regression Testing of Concurrent Software Systems Using Clone Detection
Kevin Jalbert, Jeremy S. Bradbury
Directed Search Directed search techniques for model checking software
Jeremy S. Bradbury
Experimental Mutation Analysis Framework (ExMAn) Mutation Analysis of Concurrent Software
Jeremy S. Bradbury, James R. Cordy, Juergen Dingel
Concurrency Visualization Visualization of Thread Interleaving Data
Gowritharan Maheswara, Jeremy S. Bradbury, Christopher M. Collins
Mutation visualization Visualization of Mutation Test Data
Jeremy S. Bradbury, Jeffery Falkenham

 

Past Projects

Implicit Invocation Language (IIL) Project Analysis of Event-Based Systems (AEBS)
Jeremy Bradbury, Hongyu (Hellen) Zhang, L. Ruhai Cai, Juergen Dingel, James R. Cordy
Dynamic software architecture change process Formal Specification of Dynamic Software Architectures
Jeremy S. Bradbury, Juergen Dingel, James R. Cordy, Michel Wermelinger
eyeCOOK screenshots An Attentive Interface for the Home (eyeCOOK)
Jeremy S. Bradbury, Jeffery S. Shell, Craig B.Knowles
GDCT screenshot Graphical Database for Category Theory (GDCT)
Jeremy S. Bradbury, Ian Rutherford, Matthew Graves, Jesse Tweedle, Robert Rosebrugh