RWset: Attacking Path Explosion in Constraint-Based Test Generation
Abstract elided by the publisher.
Related papers
- Parser-directed fuzzing PLDI 2019
- Adversarial Reachability for Program-level Security Analysis ESOP 2023
- Efficient state merging in symbolic execution PLDI 2012
- Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities OOPSLA 2026
- A Stubborn Attack On State Explosion CAV 1990
- Attacking Symbolic State Explosion CAV 2001
- Abstraction-driven Concolic Testing VMCAI 2016
- Shaking Up Quantum Simulators with Fuzzing and Rigour OOPSLA 2025