Selim Ciraci, Hasan Sözer, Mehmet Aksit, Wilke Havinga. Execution Constraint Verification of Exception Handling on UML Sequence Diagrams. In Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea. pages 31-40, IEEE, 2011. [doi]
Abstract is missing.