Snugglebug
From MaRDI portal
Software:25619
swMATH13707MaRDI QIDQ25619FDOQ25619
Author name not available (Why is that?)
Cited In (7)
- Symbolic execution formally explained
- Precondition Inference from Intermittent Assertions and Application to Contracts on Collections
- Sound input filter generation for integer overflow errors
- Backward symbolic execution with loop folding
- Combining Model Checking and Testing
- Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis
- CFA2: a Context-Free Approach to Control-Flow Analysis
This page was built for software: Snugglebug
