The ManyBugs and IntroClass benchmarks for automated repair of C programs (2015)

by C Le Goues, N Holtschulte, E K Smith, Y Brun, P Devanbu, S Forrest, W Weimer
Venue:IEEE Transactions on Software Engineering (TSE