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

Table 11

Description of the examples.

Example	Classes	Associations	Attributes	Invariants
Paper-Researcher	2	2	6	1
Coach	15	12	2	2
DBLP	17	27	38	26
Tracking System	50	60	72	5
Script 1	100	110	122	2
Script 2	500	510	522	5
Script 3	1000	1010	1022	5