Testing Java Exceptions: An Instrumentation Technique | IEEE Conference Publication | IEEE Xplore