swMATH13707MaRDI QIDQ25619FDOQ25619
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=1542517
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
- CFA2: a context-free approach to control-flow analysis
- CalFuzzer
- ADL
- ConTest
- YOGI
- Looper
- CATG
- Con2colic
- 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
