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