Path Exploration Tool
Abstract elided by the publisher.
Related papers
- Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools PLDI 2010
- Efficient state merging in symbolic execution PLDI 2012
- Exploring and enforcing security guarantees via program dependence graphs PLDI 2015
- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker - (Competition Contribution) TACAS 2019
- Model checking for weakly consistent libraries PLDI 2019
- Schnauzer: scalable profiling for likely security bug sites CGO 2013
- Steering symbolic execution to less traveled paths OOPSLA 2013
- Compositional dynamic test generation POPL 2007