Modellbasiertes Testen Grafischer Benutzeroberflchen by Markus Tiede