@inproceedings{OOPSLA-2004-WeimerN,
	author        = "Westley Weimer and George C. Necula",
	booktitle     = "{Proceedings of the 19th Conference on Object-Oriented Programming, Systems, Languages and Applications}",
	doi           = "10.1145/1028976.1029011",
	editor        = "John M. Vlissides and Douglas C. Schmidt",
	isbn          = "1-58113-831-8",
	pages         = "419--431",
	publisher     = "{ACM}",
	title         = "{Finding and preventing run-time error handling mistakes}",
	year          = 2004,
}