A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study

Egon Börger, Wolfram Schulte. A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study. IEEE Trans. Software Eng., 26(9):872-887, 2000. [doi]

Abstract

Abstract is missing.