Test Case Design for Automated UI Tests