Pages that link to "Item:Q2819818"
From MaRDI portal
The following pages link to Abstract symbolic automata: mixed syntactic/semantic similarity analysis of executables (Q2819818):
Displaying 6 items.
- Symbolic automata for representing big code (Q300407) (← links)
- Abstract similarity analysis (Q1650963) (← links)
- Twinning automata and regular expressions for string static analysis (Q2234078) (← links)
- Abstract interpretation as automated deduction (Q2360874) (← links)
- Inferring Symbolic Automata (Q6135753) (← links)
- Improving dynamic code analysis by code abstraction (Q6646291) (← links)