Test Case Generation for UML Statecharts

An approach to automatically generate test cases from object-oriented statecharts as they are used in the UML and supported by development tools such as I-Logics Rhapsody is described.