Snugglebug
From MaRDI portal
Software:25619
No author found.
Related Items (7)
Combining Model Checking and Testing ⋮ Backward symbolic execution with loop folding ⋮ CFA2: a Context-Free Approach to Control-Flow Analysis ⋮ Symbolic execution formally explained ⋮ Sound input filter generation for integer overflow errors ⋮ 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
