Diversity-Based Automated Test Case Generation