@InCollection{	  brucker.ea:ocl-testing:2010,
  abstract	= {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.},
  author	= {Achim D. Brucker and Matthias P. Krieger and Delphine
		  Longuet and Burkhart Wolff},
  booktitle	= {MoDELS Workshops},
  language	= {USenglish},
  public	= {yes},
  publisher	= {Springer-Verlag},
  address	= {Heidelberg},
  series	= {Lecture Notes in Computer Science},
  number	= {6627},
  classification= workshop,
  areas		= {formal methods, software},
  year		= {2010},
  note		= {Selected best papers from all satellite events of the
		  MoDELS 2010 conference. Workshop on OCL and Textual
		  Modelling.},
  categories	= {holocl,holtestgen},
  keywords	= {OCL, UML, test case generation, specification-based
		  testing},
  pages		= {334--348},
  title		= {A Specification-based Test Case Generation Method for
		  {UML}/{OCL}},
  editor	= {J{\"u}rgen Dingel and Arnor Solberg},
  isbn		= {978-3-642-21209-3},
  url		= {http://www.brucker.ch/bibliography/abstract/brucker.ea-ocl-testing-2010}
		  ,
  pdf		= {http://www.brucker.ch/bibliography/download/2010/brucker.ea-ocl-testing-2010.pdf},
  doi		= {10.1007/978-3-642-21210-9_33}
}