Empirical Software Metrics for Benchmarking of Verification Tools

Demyanova, Yulia; Pani, Thomas; Veith, Helmut; Zuleger, Florian

doi:10.1007/978-3-319-21690-4_39

by Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger

Reference:

Empirical Software Metrics for Benchmarking of Verification ToolsYulia Demyanova, Thomas Pani, Helmut Veith, Florian ZulegerComputer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, pages 561–579, July 2015.

Bibtex Entry:

@inproceedings{DBLP:conf/cav/DemyanovaPVZ15,
  author    = {Yulia Demyanova and
               Thomas Pani and
               Helmut Veith and
               Florian Zuleger},
  title     = {Empirical Software Metrics for Benchmarking of Verification Tools},
  booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
               2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
               {I}},
  pages     = {561--579},
  month     = {July},
  year      = {2015},
  crossref  = {DBLP:conf/cav/2015-1},
  url       = {http://dx.doi.org/10.1007/978-3-319-21690-4_39},
  doi       = {10.1007/978-3-319-21690-4_39},
  timestamp = {Mon, 20 Jul 2015 11:27:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cav/DemyanovaPVZ15},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  keywords = {verifolio}
}