*Result*: A practical method for specification and analysis of exception handling-a Java/JVM case study

Title:
A practical method for specification and analysis of exception handling-a Java/JVM case study
Source:
IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 26(9):872-887 Sep, 2000
Database:
IEEE Xplore Digital Library