Snugglebug
From MaRDI portal
Cited in
(14)- CalFuzzer
- ADL
- Symbolic execution formally explained
- Backward symbolic execution with loop folding
- ConTest
- YOGI
- CFA2: a context-free approach to control-flow analysis
- Precondition inference from intermittent assertions and application to contracts on collections
- Looper
- Combining model checking and testing
- CATG
- Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis
- Sound input filter generation for integer overflow errors
- Con2colic
This page was built for software: Snugglebug
