@inproceedings{rountev-paste04,
  author = "Atanas Rountev and Scott Kagan and Michael Gibas", 
  title = "Evaluating the Imprecision of Static Analysis",
  booktitle = "ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering",
  pages = "14-16",
  year = 2004
}