TFCheck

The dataset used in this paper is a collection of real-world, mutants, and synthetic training programs.

BibTex: