Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs (1999)

by Jong-deok Choi, David Grove, Michael Hind, Vivek Sarkar
Venue:In Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering