A Proposal for Automatic Testing of GUIs Based on Annotated Use Cases | Publicación