Generation of concurrent unit tests to find correctness and performance problems in thread-safe classes