当前位置：数字出版物超市 >> 学者知网节 >> 承担国家项目资助发文
共有记录7条
序号 题名 作者 文献来源 发表年份 被引频次 下载频次
1 变量极小不可满足在模型检测中的应用(英文) 陈振宇;陶志红;KLEINE BüNING Hans;王立福; 软件学报 2008 0 58
2 基于测试用例设计信息的回归测试优先级算法 屈波;聂长海;徐宝文; 计算机学报 2008 0 166
3 测试用例集约简问题研究及其进展 章晓芳;陈林;徐宝文;聂长海; 计算机科学与探索 2008 0 61
4 演化测试技术的研究 谢晓园;许蕾;徐宝文;聂长海;史亮; 计算机科学与探索 2008 0 42
5 蜕变测试技术综述 董国伟;徐宝文;陈林;聂长海;王璐璐; 计算机科学与探索 2009 0 29
6 基于程序路径分析的有效蜕变测试 董国伟;聂长海;徐宝文; 计算机学报 2009 0 34
7 测试资源受约束的安全关键软件加速测试方法 张德平;聂长海;徐宝文; 计算机科学 2009 0 13