Evaluating the imprecision of static analysis

Atanas Rountev, Scott Kagan, Michael Gibas
2004 Proceedings of the ACM-SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '04  
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.
doi:10.1145/996821.996829 dblp:conf/paste/RountevKG04 fatcat:eurf2d6boffg5j74u6pdakaw5y