CEDA: control-flow error detection through assertions | IEEE Conference Publication | IEEE Xplore