Pedro Luis Mateo Navarro, Diego Sevilla Ruiz, Gregorio Martínez Pérez: Automated GUI Testing Validation guided by Annotated Use Cases. GI Jahrestagung 2009: 2796-2804