Feedback-Directed Model-Based GUI Test Case Generation