The Complexity of Coverage
No abstract available.
DOI 10.1007/978-3-540-89330-1_7
Related papers
- Lower your guards: a compositional pattern-match coverage checker ICFP 2020
- Polymorphic coverage types JFP 2026
- Coverage Semantics for Dependent Pattern Matching ESOP 2025
- ShadowVM: robust and comprehensive dynamic program analysis for the java platform GPCE 2013
- Validating Soundness and Completeness in Pattern-Match Coverage Analyzers OOPSLA 2025
- Covering All the Bases: Type-Based Verification of Test Input Generators PLDI 2023
- Coco: Corecursion with Compositional Heterogeneous Productivity POPL 2026
- Online Input Grammar Synthesis Aided Symbolic Execution OOPSLA 2026