董红霞 李立健 闵应骅

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

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