Dear CAV, We Need to Talk About Reproducibility
arXiv:1502.02448
Abstract
How many times have you tried to re-implement a past CAV tool paper, and failed? Reliably reproducing published scientific discoveries has been acknowledged as a barrier to scientific progress for some time but there remains only a small subset of software available to support the specific needs of the research community (i.e. beyond generic tools such as source code repositories). In this paper we propose an infrastructure for enabling reproducibility in our community, by automating the build, unit testing and benchmarking of research software.
Submitted to the 27th International Conference on Computer Aided Verification (CAV 2015); 9 pages, LaTeX