<font face="Verdana">基于模型检测的数据流异常测试技术研究</font>

基于模型检测的数据流异常测试技术研究

陈涛1，2，3，许金超1，2，钮俊1，2

Data flow anomaly analysis based on model checking

CHEN Tao1，2，3，XU Jinchao1，2，NIU Jun1，2

计算机工程与应用 . 2011, (25): 1 -4 .