李立健 闵应骅 董红霞

随意位 线性反馈移位寄存器 字符串间距离 程序抽取 软件测试 种子 随机向量难测故障 程序定义域

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