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

Search Results

Help

Item hits: (Results 1-4 of 4)

Filters    
Items/Page:    Sort:
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)

 
Enhancing software reliability estimates using modified adaptive testing [会议论文]
Hu, Hai (1); Jiang, Chang-Hai (1); Cai, Kai-Yuan (1); Wong, W. Eric (3); Mathur, Aditya P. (4)

 
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

 

1

 

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