Multi-solver Support in Symbolic Execution
No abstract available.
DOI 10.1007/978-3-642-39799-8_3
Related papers
- Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml TACAS 2026
- Pinaka: Symbolic Execution Meets Incremental Solving - (Competition Contribution) TACAS 2019
- A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties CAV 2023
- Ivy: A Multi-modal Verification Tool for Distributed Algorithms CAV 2020
- JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution) TACAS 2020
- Gillian, part i: a multi-language platform for symbolic execution PLDI 2020
- A lightweight symbolic virtual machine for solver-aided host languages PLDI 2014
- Symbolic Partial-Order Execution for Testing Multi-Threaded Programs CAV 2020