@inproceedings{PASTE-2004-RountevKG,
	author        = "Atanas Rountev and Scott Kagan and Michael Gibas",
	booktitle     = "{Proceedings of the Fifth Workshop on Program Analysis for Software Tools and Engineering}",
	doi           = "10.1145/996821.996829",
	isbn          = "1-58113-910-1",
	pages         = "14--16",
	publisher     = "{ACM}",
	title         = "{Evaluating the imprecision of static analysis}",
	year          = 2004,
}