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

Asadullah Shaikh, Uffe Kock Wiil, Nasrullah Memon. Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams. Adv. Software Engineering, 2011, 2011. [doi]

Abstract

Abstract is missing.