Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees
No abstract available.
Related papers
- Compositional Symbolic Execution for Correctness and Incorrectness Reasoning ECOOP 2024
- Mutation-Based Lifted Repair of Software Product Lines ECOOP 2024
- Compositional Symbolic Execution for the Next 700 Memory Models OOPSLA 2025
- Soteria: Efficient Symbolic Execution as a Functional Library: Perhaps You Should Write Your Own Symbolic Execution Engine! PLDI 2026
- Gillian, part i: a multi-language platform for symbolic execution PLDI 2020
- Gillian, Part II: Real-World Verification for JavaScript and C CAV 2021
- Quantifying Sensitivity for Tree Ensembles: A Symbolic and Compositional Approach CAV 2026
- Demand-Driven Compositional Symbolic Execution TACAS 2008