Westley Weimer, George C. Necula. Finding and preventing run-time error handling mistakes. In John M. Vlissides, Douglas C. Schmidt, editors, Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004. pages 419-431, ACM, Vancouver, BC, Canada, 2004. [doi]
Abstract is missing.