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

Search Results

Help

Item hits: (Results 1-10 of 12)

Filters    
Items/Page:    Sort:
一种面向程序动态分析的循环摘要生成方法 [期刊论文]
电子学报, 2014-01-01, 卷号: 42, 期号: 6, 页码: 1110-1117
聂楚江; 刘海峰; 苏璞睿; 冯登国

 
A property-based testing framework for encryption programs [期刊论文]
Frontiers of Computer Science, 2014-01-01, 卷号: 8, 期号: 3, 页码: 478-489
Sun, Chang-ai (1); Wang, Zuoyi (1); Wang, Guan (1)

 
基于云的Web应用性能测试服务平台 [期刊论文]
计算机系统应用, 2013-01-01, 期号: 10, 页码: 33-38
李萱; 王伟; 张文博; 范国闯

 
quantitative effects of software testing on reliability improvement in the presence of imperfect debugging [期刊论文]
INFORMATION SCIENCES, 2013-01-01, 卷号: 218, 页码: 119-132
Cao Ping; Dong Zhao; Liu Ke; Cai Kai-Yuan

 
black-box testing based on colorful taint analysis [期刊论文]
SCIENCE CHINA-INFORMATION SCIENCES, 2012-01-01, 卷号: 55, 期号: 1, 页码: 171-183
Chen Kai; Feng DengGuo; Su PuRui; Zhang YingJun

 
电子政务软件可靠性评测方法初探 [期刊论文]
Computer Applications and Software, 2012-01-01, 卷号: 29, 期号: 3, 页码: 41037
陈心光; 刘彦斌
  |  
 
基于受控马尔科夫链的软件缺陷优化测试策略 [期刊论文]
Computer Science, 2012-01-01, 卷号: 39, 期号: 5, 页码: 117-119,136
包晓安; 姚澜; 张晓文; 曹建文
  |  
 
an investigation on the feasibility of cross-project defect prediction [期刊论文]
Automated Software Engineering, 2011-01-01, 期号: 1, 页码: 1-33
He Zhimin; Shu Fengdi; Yang Ye; Li Mingshu; Wang Qing
  |  
 
应用统计过程控制监控软件测试过程 [期刊论文]
计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 3, 页码: 725-730
车美儒; 杨国伟; 勾朗; 姜楠
  |  
 
a backtracking search tool for constructing combinatorial test suites [期刊论文]
Journal of Systems and Software, 2008-01-01, 卷号: 81, 期号: 10, 页码: 1681-1693
Jun Yan; Zhang Jian
  |  
 

1 2 next

 

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