IntPTI: Automatic integer error repair with proper-type inference | IEEE Conference Publication | IEEE Xplore