Goues, et al.. The Manybugs and Introclass Benchmarks for Automated Repair of C Programs. no. 12, Institute of Electrical and Electronics Engineers (IEEE), Dec. 2015, doi:10.1109/tse.2015.2454513.