A Proposal for Automatic Testing of GUIs Based on Annotated Use Cases

Figure 3

Test case branching.