Empirical software metrics for benchmarking of verification tools

DOI10.1007/S10703-016-0264-5MaRDI QIDQ526771zbMATH OpenOpenAlexWikidataFDO

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

Publication date 15 May 2017

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

machine learningalgorithm portfoliosoftware verificationsoftware metrics

Mathematics Subject Classification ID

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

Recommendations

• Understanding parameters of deductive verification: an empirical investigation of KeY
• Verified squared, does critical software deserve verified tools?
• Software metrics mining to predict the performance of estimation of distribution algorithms in test data generation
• Computer Aided Verification
• Heaps and Data Structures: A Challenge for Automated Provers

Cites work

• A self-adaptive multi-engine solver for quantified Boolean formulas
• Algorithm portfolios
• Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
• Empirical software metrics for benchmarking of verification tools
• Pattern recognition and machine learning.
• Probability estimates for multi-class classification by pairwise coupling
• SATzilla: portfolio-based algorithm selection for SAT
• Support-vector networks
• Tools and Algorithms for the Construction and Analysis of Systems
• 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

Cited in

(5)

• Correct Hardware Design and Verification Methods
• Efficient strategies for CEGAR-based model checking
• Reusing predicate precision in value analysis
• Parallel program analysis via range splitting
• Empirical software metrics for benchmarking of verification tools

Describes a project that uses

Uses Software

• FrankenBit
• ppfolio
• CBMC
• SATzilla
• LIBSVM

This page was built for publication: Empirical software metrics for benchmarking of verification tools

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q526771)