Symbiotic 3: New Slicer and Error-Witness Generation - (Competition Contribution)
Abstract elided by the publisher.
Related papers
- Symbiotic 7: Integration of Predator and More - (Competition Contribution) TACAS 2020
- Symbiotic-Witch: A Klee-Based Violation Witness Checker - (Competition Contribution) TACAS 2022
- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation - (Competition Contribution) TACAS 2023
- Witch 3: Validation of Violation Witnesses in the Witness Format 2.0 - (Competition Contribution) TACAS 2024
- Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution - (Competition Contribution) TACAS 2024
- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution) TACAS 2022
- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) TACAS 2023
- Symbiotic 2: More Precise Slicing - (Competition Contribution) TACAS 2014