Seal: Symbolic Execution with Separation Logic - (Competition Contribution)
No abstract available.
Related papers
- Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution) TACAS 2013
- Goblitch: Combining Abstract Interpretation with Symbolic Execution via Witnesses - (Competition Contribution) TACAS 2026
- AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution) TACAS 2024
- JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution) TACAS 2020
- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) TACAS 2022
- Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution) TACAS 2023
- Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution - (Competition Contribution) TACAS 2024
- SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution) TACAS 2024