Efficient and precise modeling of exceptions for the analysis of Java programs.

Published in: ACM SIGSOFT Softw. Eng. Notes (1999)

Keyphrases