Empirical software metrics for benchmarking of verification tools
From MaRDI portal
(Redirected from Publication:526771)
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)
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)