Abstract: This paper proposes an approach of handling exception throughout the entire development chain of Java programs by modeling exception handling in the UML statechart model, then model checking statecharts and utilizing automatic code generators for implemen

Key words: Exception handling,Model checking,EHA