BALLERINA: automatic generation and clustering of efficient random unit tests for multithreaded code
Adaptive Random Testing: the ART of Test Case Diversity