Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement. - Stelios Sidiroglou-Douskos; Eric Lahtinen; Nathan Rittenhouse; Paolo Piselli; Fan Long; Deokhwan Kim; Martin C. Rinard (ASPLOS, 2015)