Efficient and precise modeling of exceptions for the analysis of Java programs (1999)

by J-D Choi, D Grove, M Hind, V Sarkar
Venue:In ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering