Harini Srinivasan Darrell Reimer Aaron Kershenbaum Edith Schonberg Kavitha Srinivas Static validation of resource management in large Java applications. 250-252 2004 ISoLA (Preliminary proceedings) conf/isola/2004i db/conf/isola/isola2004i.html#SrinivasanRKSS04