Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools. - Jeremy S. Bradbury; Itai Segall; Eitan Farchi; Kevin Jalbert; David Kelk (PADTAD, 2012)

A Scienceographic Comparison of Physics Papers from the arXiv and viXra Archives - David Kelk; David Devine (CoRR, 2012)

Effectively using search-based software engineering techniques within model checking and its applications. - Jeremy S. Bradbury; David Kelk; Mark Green 001 (CMSBSE@ICSE, 2013)

Automatically Repairing Concurrency Bugs with ARC. - David Kelk; Kevin Jalbert; Jeremy S. Bradbury (MUSEPAT, 2013)