Tool Support for Improving Test Coverage
No abstract available.
Related papers
- Crabtree: Rust API Test Synthesis Guided by Coverage and Type OOPSLA 2024
- Putting Randomized Compiler Testing into Production (Experience Report) ECOOP 2020
- Hunting CUDA Bugs at Scale with cuFuzz OOPSLA 2026
- Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations PLDI 2023
- Maple: a coverage-driven testing tool for multithreaded programs OOPSLA 2012
- SolTG: A CHC-Based Solidity Test Case Generator CAV 2024
- GKLEE: concolic verification and test generation for GPUs PPoPP 2012
- Abstraction-driven Concolic Testing VMCAI 2016