60 citations · 86 across the 6 of their papers we have counts for
1 paper · 1 filter
Neville Grech, George Fourtounis, Adrian Francalanza +1
Static analyses aspire to explore all possible executions in order to achieve soundness. Yet, in practice, they fail to capture common dynamic behavior. Enhancing static analyses w…