GitHub repository: michaelpradel/ConTeGe
Primary language: Scala
Description: Generation of sequential and concurrent unit tests to find correctness and performance problems in Java classes