Empirical software metrics for benchmarking of verification tools

DOI10.1007/s10703-016-0264-5zbMath1360.68371OpenAlexW2570655340WikidataQ59607221 ScholiaQ59607221MaRDI QIDQ526771

Yulia Demyanova, Florian Zuleger, Thomas Pani, Helmut Veith

Publication date: 15 May 2017

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-016-0264-5

zbMATH Keywords

machine learningsoftware verificationalgorithm portfoliosoftware metrics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Related Items

Reusing predicate precision in value analysis ⋮ Efficient strategies for CEGAR-based model checking ⋮ Empirical software metrics for benchmarking of verification tools

Uses Software

• LIBSVM
• SATzilla
• CBMC
• ppfolio
• FrankenBit

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11--18, 2015. Proceedings
• Empirical software metrics for benchmarking of verification tools
• A self-adaptive multi-engine solver for quantified Boolean formulas
• Support-vector networks
• Tools and Algorithms for the Construction and Analysis of Systems
• Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
• Algorithm portfolios