Automated test code generation from UML protocol state machines
A study of effective regression testing in practice