328 citations · 353 across the 8 of their papers we have counts for
1 paper · 1 filter
Chaoqiang Deng, Patrick Cousot
Given a behavior of interest in the program, statically determining the corresponding responsible entity is a task of critical importance, especially in program security. Classical…