Automated test code generation from UML protocol state machines
Generating test data from state-based specifications