Budget-Dependent Control-Flow Error Detection | IEEE Conference Publication | IEEE Xplore