Backward Symbolic Execution with Loop Folding
Abstract elided by the publisher.
Related papers
- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution) TACAS 2022
- Abstraction of memory block manipulations by symbolic loop folding ESOP 2025
- On Extending Incorrectness Logic with Backwards Reasoning POPL 2025
- Unfold/Fold Transformations and Loop Optimization of Logic Programs PLDI 1988
- Higher-order demand-driven symbolic evaluation ICFP 2020
- EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution) TACAS 2025
- Loop Invariant Symbolic Execution for Parallel Programs VMCAI 2012
- Grisette: Symbolic Compilation as a Functional Programming Library POPL 2023