Automatic Fix for C Integer Errors by Precision Improvement.

Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun

Browse the full COMPSAC paper archive.