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