An efficient approach to detect and correct control-flow errors for linear assembly | IEEE Conference Publication | IEEE Xplore