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

Search Results

Help

Item hits: (Results 11-20 of 25)

Items/Page:    Sort:
基于时间自动机的测试用例自动生成及执行方法 [期刊论文]
计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 3, 页码: 521-525+702
冯东伟; 陈伟; 赵琛
  |  
 
基于中间表示的可复用程序分析系统 [期刊论文]
计算机工程, 2007-01-01, 期号: 9, 页码: 66-68,71
郑瑶海; 陈伟; 赵琛
  |  
 
基于口令的安全协议的模块化设计与分析 [期刊论文]
中国科学(E辑:信息科学), 2007-01-01, 期号: 2, 页码: 223-237
冯登国; 陈伟东
  |  
 
一种面向TTCN-3测试系统的共享内存管理框架 [期刊论文]
计算机应用研究, 2007-01-01, 卷号: 24, 期号: 7, 页码: 157-161
应群; 陈伟; 赵琛
  |  
 
一种基于时间自动机的实时系统测试方法 [期刊论文]
软件学报, 2007-01-01, 卷号: 18, 期号: 1, 页码: 62-73
陈伟; 薛云志; 赵琛; 李明树
  |  
 
基于时间模型的实时系统测试方法研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-07
陈伟
  |  
 
一种用于测试编译优化的程序控制结构生成算法 [期刊论文]
计算机应用研究, 2006-01-01, 卷号: 23, 期号: 6, 页码: 55-58
朱丹枫; 赵琛; 陈伟
  |  
 
一种基于Messy GA的结构测试数据自动生成方法 [期刊论文]
软件学报, 2006-01-01, 卷号: 17, 期号: 8, 页码: 1688-1697
薛云志; 陈伟; 王永吉; 赵琛; 王青
  |  
 
基于编译器控制流结构测试用例的生成 [期刊论文]
计算机时代, 2005-01-01, 期号: 4, 页码: 34-35
饶彦; 陈伟
  |  
 
指定验证方的门限验证签名方案及安全性证明 [期刊论文]
软件学报, 2005-01-01, 卷号: 16, 期号: 11, 页码: 1967-1974
陈伟东; 冯登国; 谭作文
  |  
 

previous 1 2 3 next

 

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