Manual test case derivation from UML activity diagrams and state machines: A controlled experiment
Presents controlled experiment on manual test case derivation from system models. Provides taxonomy of errors made and statistics about their frequencies. Shows that activity diagrams have a higher comprehensibility than state machines. Shows that activity diagrams are more error-prone than state machines.
controlled experiment system testing test design model-based testing