Automated test code generation from UML protocol state machines
Analyzing regression test selection techniques