Atanas Rountev, Scott Kagan, Michael Gibas. Evaluating the imprecision of static analysis. In Cormac Flanagan, Andreas Zeller, editors, Proceedings of the 2004 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE 04, Washington, DC, USA, June 7-8, 2004. pages 14-16, ACM, 2004. [doi]
Abstract is missing.