Using UML Environment Models for Test Case Generation. - Maritta Heisel; Denis Hatebur; Thomas Santen; Dirk Seifen (Software Engineering (Workshops), 2008)