基于证据自动机的软件回归验证

基于证据自动机的软件回归验证

贾尚坤, 贺飞

Software regression verification based on witness automata

JIA Shangkun, HE Fei

计算机应用 . 2018, (10): 2990 -2995 . DOI: 10.11772/j.issn.1001-9081.2018030733