@mastersthesis{Averstegge04a,
	Author = {Averstegge, Michael},
	Date-Added = {2007-06-27 14:49:37 +0200},
	Date-Modified = {2007-06-27 14:49:37 +0200},
	Month = sep,
	School = {FernUniversit{\"a}t in Hagen},
	Title = {Konzeption und Realisierung eines Werkzeugs f{\"u}r strukturelle und funktionale Bedingungs{\"u}berdeckungstests von Java-Programmen mit OCL-Spezifikationen},
	Tutor = {Six, Winter},
	Type = {Diplomarbeit},
	Year = {2004}}