Model-Based Testing Through a GUI