Attacking Symbolic State Explosion
Abstract elided by the publisher.
Related papers
- A Stubborn Attack On State Explosion CAV 1990
- Efficient Symbolic Execution of Software Under Fault Attacks ECOOP 2026
- Adversarial Reachability for Program-level Security Analysis ESOP 2023
- RWset: Attacking Path Explosion in Constraint-Based Test Generation TACAS 2008
- Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis CPP 2026
- Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution OOPSLA 2026
- Efficient state merging in symbolic execution PLDI 2012
- Psym: Efficient Symbolic Exploration of Distributed Systems PLDI 2023