Empirical software metrics for benchmarking of verification tools

DOI10.1007/S10703-016-0264-5zbMATH Open1360.68371OpenAlexW2570655340WikidataQ59607221 ScholiaQ59607221MaRDI QIDQ526771FDOQ526771

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 learningalgorithm portfoliosoftware verificationsoftware metrics

Mathematics Subject Classification ID

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

Cites Work

• Support-vector networks
• A self-adaptive multi-engine solver for quantified Boolean formulas
• Algorithm portfolios
• 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
• Empirical software metrics for benchmarking of verification tools
• Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

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

Uses Software

• LIBSVM
• SATzilla
• CBMC
• ppfolio
• FrankenBit

Recommendations

• Correct Hardware Design and Verification Methods 👍 👎

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)