To add to the list above, if you're looking at Pairwise (Combinatorial) test case generation, the complete, (usually) updated and an EXTENSIVE list of ALL such tools that let you generate test-cases, alongside analysis of the effectiveness of each, research papers et. al. can be found at http://www.pairwise.org/
