Traceability-Driven Model Refinement for Test Case Generation. - Matthias Riebisch; Michael Hübner 003 (ECBS, 2005)