Pages that link to "Item:Q5385606"
From MaRDI portal
The following pages link to A Practical String Analyzer by the Widening Approach (Q5385606):
Displaying 5 items.
- Twinning automata and regular expressions for string static analysis (Q2234078) (← links)
- Automata-based symbolic string analysis for vulnerability detection (Q2248096) (← links)
- Widening and narrowing operators for abstract interpretation (Q2275526) (← links)
- String Analysis as an Abstract Interpretation (Q3075489) (← links)
- Improving dynamic code analysis by code abstraction (Q6646291) (← links)
