33 citations · 47 across the 5 of their papers we have counts for
1 paper · 1 filter
Pavol Bielik, Veselin Raychev, Martin Vechev
To be practically useful, modern static analyzers must precisely model the effect of both, statements in the programming language as well as frameworks used by the program under an…