Empirical software metrics for benchmarking of verification tools
DOI10.1007/S10703-016-0264-5zbMATH Open1360.68371OpenAlexW2570655340WikidataQ59607221 ScholiaQ59607221MaRDI QIDQ526771FDOQ526771
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)
Full work available at URL: https://doi.org/10.1007/s10703-016-0264-5
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
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)
Cites Work
- Support-vector networks
- Pattern recognition and machine learning.
- A self-adaptive multi-engine solver for quantified Boolean formulas
- Probability estimates for multi-class classification by pairwise coupling
- SATzilla: portfolio-based algorithm selection for SAT
- 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
Cited In (5)
Uses Software
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)
