The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs | IEEE Journals & Magazine | IEEE Xplore