李立健 闵应骅 董红霞

随意位 线性反馈移位寄存器 字符串间距离 程序抽取 软件测试 种子 随机向量难测故障 程序定义域 功能域 测试数据生成 边界测试点 数据流分析 路径测试数据生成 非数值变量 边界测试数据集 动态模拟 字符串数据 运行域 RSDIMU 域分析 变异体 快速下降搜索算法

北京化工大学信息科学与技术学院 中国科学院计算技术研究所 中国科学院计算技术研究所网络研究室 北京 中国科学院自动化研究所国家专用集成电路工... 北京化工大学计算机科学与技术系 北京化工大学计算机科学系 中国科学院软件研究所计算机科学国家重点实...