Trends in Model-based GUI Testing
What test oracle should I use for effective GUI testing?