Abstract Analysis of Symbolic Executions
No abstract available.
Related papers
- Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables POPL 2015
- Sound Symbolic Execution via Abstract Interpretation and Its Application to Security VMCAI 2023
- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution) TACAS 2022
- Gillian, part i: a multi-language platform for symbolic execution PLDI 2020
- Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution) TACAS 2021
- Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution) TACAS 2020
- Specification-Driven Generation of Summaries for Symbolic Execution ESOP 2026
- Type-Dependence Analysis and Program Transformation for Symbolic Execution TACAS 2007