Developing cost-effective model-based techniques for GUI testing