@InProceedings{BeckertBormer2013,
author = {Bernhard Beckert and Thorsten Bormer and Markus Wagner},
title = {A Metric for Testing Program Verification Systems},
booktitle = {Seventh International Conference on Tests and Proofs
({TAP} 2013)},
publisher = {Springer},
series = {LNCS 7942},
editor = {Margus Veanes and Luca Vigan\`o},
pages = {56--75},
doi = {10.1007/978-3-642-38916-0_4},
year = {2013},
month = jun,
venue = {Budapest, Hungary}
}