Cited By
View all- Ciraci SSozer HAksit MHavinga W(2011)Execution Constraint Verification of Exception Handling on UML Sequence DiagramsProceedings of the 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement10.1109/SSIRI.2011.13(31-40)Online publication date: 27-Jun-2011