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

Figure 4

Example dialog.