Vladimir Kotlyar Mayan Moudgill Detecting overflow detection. 36-41 2004 conf/codes/2004 CODES+ISSS http://doi.acm.org/10.1145/1016720.1016732 db/conf/codes/codes2004.html#KotlyarM04