David Kelk

According to our database, David Kelk authored at least 4 papers between 2012 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Automatically Repairing Concurrency Bugs with ARC.

David Kelk, Kevin Jalbert, Jeremy S. Bradbury

Proceedings of the Multicore Software Engineering, Performance, and Tools, 2013

Effectively using search-based software engineering techniques within model checking and its applications.

Jeremy S. Bradbury, David Kelk, Mark Green

Proceedings of the 1st International Workshop on Combining Modelling and Search-Based Software Engineering, 2013

2012

A Scienceographic Comparison of Physics Papers from the arXiv and viXra Archives

David Kelk, David Devine

CoRR, 2012

Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools.

Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, David Kelk

Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, 2012