Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016).

Dirk Beyer

Browse the full TACAS paper archive.