Automatic Contract Insertion with CCBot
A systematic study of automated program repair: fixing 55 out of 105 bugs for $8 each