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