The following pages link to Snugglebug (Q25619):
Displaying 7 items.
- Symbolic execution formally explained (Q1982639) (← links)
- Backward symbolic execution with loop folding (Q2145317) (← links)
- CFA2: a Context-Free Approach to Control-Flow Analysis (Q3003321) (← links)
- Precondition Inference from Intermittent Assertions and Application to Contracts on Collections (Q3075478) (← links)
- Combining Model Checking and Testing (Q3176377) (← links)
- Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis (Q4930731) (← links)
- Sound input filter generation for integer overflow errors (Q5408440) (← links)