Empirical Software Metrics for Benchmarking of Verification Tools
Abstract elided by the publisher.
Related papers
- Assessing the quality of evolving Haskell systems by measuring structural inequality Haskell 2020
- Dynamic shape analysis via degree metrics ISMM 2009
- Concurrency testing using schedule bounding: an empirical study PPoPP 2014
- MightyPPL: Model Checking MITL with Past and Pnueli Modalities TACAS 2026
- Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages POPL 2025
- Data-driven inference of representation invariants PLDI 2020
- Software Verification for Weak Memory via Program Transformation ESOP 2013
- Message Chains for Distributed System Verification OOPSLA 2023