An efficient approach to detect and correct control-flow errors for linear assembly. - Yuanqiang Qiu; QingPing Tan; Jianjun Xu; Yuxiang Zhao (BMEI, 2015)