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

<table>UML/OCL class diagram of “Paper-Researcher” [<a href="/journals/ase/2011/370198/#B11">32</a>].</table>

Advances in Software Engineering

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