Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams

<table>UML/OCL class diagram used as running example (model Coach).</table>

Advances in Software Engineering

Figure 1: Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams 