An uncaught exception analysis for Java

Exception handling

John B. Goodenough · Communications of the ACM · 1975 · 492 citations · Full text

Engineering, Requirements Exception, Verification +16

Object-oriented type inference

Jens Palsberg, Michael I. Schwartzbach · 1991 · 305 citations · Full text

Analysis and testing of programs with exception handling constructs

Saurabh Sinha, Mary Jean Harrold · IEEE Transactions on Software Engineering · 2000 · 179 citations

Software Maintenance, Program Checking, Engineering +23

Java<i>_light</i> is type-safe---definitely

Tobias Nipkow, David von Oheimb · 1998 · 148 citations · Full text

Type Soundness, Engineering, Verification +16

Set based program analysis

Nevin Heintze · Defense Technical Information Center (DTIC) · 1992 · 144 citations