Directed incremental symbolic execution
No abstract available.
Related papers
- Pinaka: Symbolic Execution Meets Incremental Solving - (Competition Contribution) TACAS 2019
- Efficient incremental evaluation of aggregate values in attribute grammars PLDI 1986
- Directed Symbolic Execution SAS 2011
- Incremental Symbol Processing CC 1988
- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker - (Competition Contribution) TACAS 2019
- Sound Gradual Verification with Symbolic Execution POPL 2024
- Monitoring refinement via symbolic reasoning PLDI 2015
- Symbolic Pathfinder for SV-COMP - (Competition Contribution) TACAS 2019