SWAT: Improvements to the Symbolic Executor (Competition Contribution)
- 15 April 2026
- book chapter
- Published by Springer Nature
- p. 577-582
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Improvements in Software Verification and Witness Validation: SV-COMP 20252025
- AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution2025
- SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution)2024
- JavaSMT 3: Interacting with SMT Solvers in Java2021
- Symbolic Pathfinder for SV-COMP2019