A Practical Approach to Coverage in Model Checking
Abstract elided by the publisher.
Related papers
- Coverage Metrics for Temporal Logic Model Checking TACAS 2001
- Hunting CUDA Bugs at Scale with cuFuzz OOPSLA 2026
- Model Checking Concurrent Programs VMCAI 2009
- Coverage Semantics for Dependent Pattern Matching ESOP 2025
- Maximizing Branch Coverage with Constrained Horn Clauses TACAS 2022
- Bridging Coverage and Confidence: Reliable Static False Alarm Elimination via Input-Agnosticity PLDI 2026
- Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage TACAS 2024
- Janitizer: Rethinking Binary Tools for Practical and Comprehensive Security CGO 2025