A Control Method of Runtime Verification Overhead Based on Prediction

HU Lei， JIANG Guo-hua
Computer and Modernization . 2016, (4): 94 -99 .  DOI: 10.3969/j.issn.1006-2475.2016.04.019