Evaluating the imprecision of static analysis
Atanas Rountev, Scott Kagan, Michael Gibas · 2004
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are constructed manually by the experimenters. We also describe our initial experience with these techniques.