Cover Algorithms and Their Combination
No abstract available.
Related papers
- Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing ESOP 2021
- Verified First-Order Monitoring with Recursive Rules TACAS 2022
- Building a consensus: A rectangle covering problem JFP 2011
- Teaching algorithms and data structures with a proof assistant (invited talk) CPP 2021
- Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores POPL 2022
- We've Got You Covered: Type-Guided Repair of Incomplete Input Generators OOPSLA 2025
- Barrier Techniques for Incremental Tracing ISMM 1998
- LTLf Learning Meets Boolean Set Cover TACAS 2026