Diversity-based web test generation