Guava has unit test cases automatically generated:
Guava has staggering numbers of unit tests: as of July 2012, the guava-tests package includes over 286,000 individual test cases. Most of these are automatically generated, not written by hand, but Guava's test coverage is extremely thorough, especially for com.google.common.collect.
How they were generated? What techniques and technologies were used to design and generate them?