Login / Signup
David Kelk
Publication Activity (10 Years)
Years Active: 2012-2013
Publications (10 Years): 0
Top Topics
Deterministic Finite Automaton
Conference Proceedings
Software Systems
Pspace Complete
Top Venues
CoRR
MUSEPAT
CMSBSE@ICSE
PADTAD
</>
Publications
</>
Jeremy S. Bradbury
,
David Kelk
,
Mark Green
Effectively using search-based software engineering techniques within model checking and its applications.
CMSBSE@ICSE
(2013)
David Kelk
,
Kevin Jalbert
,
Jeremy S. Bradbury
Automatically Repairing Concurrency Bugs with ARC.
MUSEPAT
(2013)
David Kelk
,
David Devine
A Scienceographic Comparison of Physics Papers from the arXiv and viXra Archives
CoRR
(2012)
Jeremy S. Bradbury
,
Itai Segall
,
Eitan Farchi
,
Kevin Jalbert
,
David Kelk
Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools.
PADTAD
(2012)