Atanas Rountev Scott Kagan Michael Gibas Evaluating the imprecision of static analysis. 14-16 2004 conf/paste/2004 PASTE http://doi.acm.org/10.1145/996821.996829 db/conf/paste/paste2004.html#RountevKG04