Mateo Navarro, Pedro LuisSevilla Ruiz, DiegoMartínez Pérez, GregorioFischer, StefanMaehle, ErikReischuk, Rüdiger2020-01-282020-01-282009978-3-88579-248-2https://dl.gi.de/handle/20.500.12116/31282deGUI TestingModel Based TestingTest Case Auto GenerationGUI VerificationAutomated GUI testing validation guided by annotated use casesText/Conference Paper1617-5468