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