brucker.ea:ocl-testing:2010 BookSection Heidelberg Springer-Verlag 2010 MoDELS Workshops 6627 334-348 BruckerAchimD KriegerMatthiasP LonguetDelphine WolffBurkhart DingelJürgen SolbergArnor A Specification-based Test Case Generation Method for UML/OCL Automated test data generation is an important method for the verification and validation of UML/OCL specifications. In this paper, we present an extension of DNF-based test case generation methods to cyclic class-diagrams and recursive query operations on them. A key feature of our approach is a implicit representation of object graphs avoiding a representation based on object-id’s; thus, our approach avoids the generation of isomorphic object graphs by using a concise and still human-readable symbolic representation.