Gross, Hans-Gerhard: Component-Based Software Testing with UML