Automatic Integer Error Repair by Proper-Type Inference | IEEE Journals & Magazine | IEEE Xplore