中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-4 of 4)

Items/Page:    Sort:
基于pCTL的循环优化测试用例自动生成方法 [期刊论文]
小型微型计算机系统, 2010-01-01, 卷号: 31, 期号: 3, 页码: 436-440
余侠; 薛云志; 陶秋铭

 
一种编译优化测试用例自动生成方法的设计与实现 [期刊论文]
小型微型计算机系统, 2009-01-01, 卷号: 30, 期号: 1, 页码: 13-18
曾伟明; 薛云志; 赵琛; 贺也平
  |  
 
基于分支时序逻辑的编译优化测试用例自动生成方法的研究与实现 [学位论文]
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2008-06-04
曾伟明
  |  
 
适用于并行操作的C语言程序测试工具ParCT [期刊论文]
计算机研究与发展, 1999-01-01, 卷号: 36, 期号: 10
梁煜; 李基凯; 张林波; 李玉成; 卢慧琼
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace