A Proposal for Automatic Testing of GUIs Based on Annotated Use Cases. (5th October 2009)