Maritta Heisel Denis Hatebur Thomas Santen Dirk Seifen Using UML Environment Models for Test Case Generation. 399-406 2008 Software Engineering (Workshops) conf/se/2008w db/conf/se/se2008w.html#HeiselHSS08