TRACER: A Symbolic Execution Tool for Verification
No abstract available.
Related papers
- TEST: A Tracer for Extracting Speculative Thread CGO 2003
- Sound Gradual Verification with Symbolic Execution POPL 2024
- JaVerT 2.0: compositional symbolic execution for JavaScript POPL 2019
- Higher order symbolic execution for contract verification and refutation JFP 2017
- Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution) TACAS 2020
- Verified symbolic execution with Kripke specification monads (and no meta-programming) ICFP 2022
- Optimal stateless model checking under the release-acquire semantics OOPSLA 2018
- What Tracers Are Made Of OOPSLA 1990