A Generic Framework for Symbolic Execution
No abstract available.
Related papers
- Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution TACAS 2005
- Enhancing Symbolic Execution with Machine-Checked Safety Proofs CPP 2026
- A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution APLAS 2024
- Symbolic Execution for Quantum Error Correction Programs PLDI 2024
- Hevm, a Fast Symbolic Execution Framework for EVM Bytecode CAV 2024
- Neuro-symbolic Hierarchical Learning for Long-Horizon Robotic Tasks PLDI 2026
- AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution) TACAS 2024
- Compiling symbolic execution with staging and algebraic effects OOPSLA 2020