Snugglebug
From MaRDI portal
Software:25619
swMATH13707MaRDI QIDQ25619FDOQ25619
Author name not available (Why is that?)
Cited In (7)
- Symbolic execution formally explained
- Sound input filter generation for integer overflow errors
- Combining model checking and testing
- Backward symbolic execution with loop folding
- 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
