Cited in
(31)- Efficient loop navigation for symbolic execution
- Bias-variance tradeoffs in program analysis
- Predicate abstraction for program verification
- Efficient bounded model checking of heap-manipulating programs using tight field bounds
- TRACER: a symbolic execution tool for verification
- A data driven approach for algebraic loop invariants
- Taking satisfiability to the next level with Z3 (abstract)
- Combining model checking and testing
- Interpolation and model checking
- CalFuzzer
- ADL
- Pex
- Compositional may-must program analysis: unleashing the power of alternation
- ACL2s
- Interproc
- ConTest
- InvGen
- CCured
- SLAB
- Threader
- JPF-SE
- Snugglebug
- LCTD
- Looper
- CATG
- jCUTE
- LCT
- CoVEGI
- Con2colic
- Collaborative verification and testing with explicit assumptions
- LCTD: test-guided proofs for C programs on LLVM
This page was built for software: YOGI
