Directed Symbolic Execution
Abstract elided by the publisher.
Related papers
- Directed incremental symbolic execution PLDI 2011
- Symbolic Pathfinder for SV-COMP - (Competition Contribution) TACAS 2019
- Higher-order demand-driven symbolic evaluation ICFP 2020
- Categorical Semantics of Probabilistic Symbolic Execution PLDI 2026
- Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding PLDI 2024
- Efficient Directed Hybrid Fuzzing via Target-Centric Seed Selection and Generation OOPSLA 2026
- Learning to Accelerate Symbolic Execution via Code Transformation ECOOP 2018
- Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution ECOOP 2023