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

Search Results

Help

Item hits: (Results 1-10 of 19)

Items/Page:    Sort:
Will This Bug-fixing Change Break Regression Testing? [会议论文]
the International Symposium on Empirical Software Engineering and Measurement(ESEM), 中国北京友谊宾馆, 2015-10-25
Xinye Tang; Song Wang; Ke Mao
  |  
 
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)

 
design and implementation of testing platform for middleware of wireless sensor networks [会议论文]
6th China Conference of Wireless Sensor Networks, CWSN 2012, Huangshan, China, October 25, 2012 - October 27, 2012
Yan Lipeng; Chang Fei; Qin Weijun; Li Bo; Liu Yan

 
fast verification of memory consistency for chip multi-processor [会议论文]
2011 7th International Conference on Computational Intelligence and Security, CIS 2011, Sanya, Hainan, China, December 3, 2011 - December 4, 2011
Zheng Lv; Chen Hao; Chen Feng; Yi Lv

 
static detection of bugs caused by incorrect exception handling in java programs [会议论文]
11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, 13-Jul-02
Wu Xiaoquan; Xu Zhongxing; Wei Jun
  |  
 
JUTA:一个Java自动化单元测试工具 [期刊论文]
计算机研究与发展, 2010-01-01, 卷号: 47, 期号: 10, 页码: 1840-1848
严俊; 郭涛; 阮辉; 玄跻峰
  |  
 
constraint solving techniques for software testing and analysis [会议论文]
32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010, Cape Town, South africa, May 1, 201
Ma Feifei
  |  
 
an automatic testing approach for compiler based on metamorphic testing technique [会议论文]
17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, Australia, 40850
Tao Qiuming; Wu Wei; Zhao Chen; Shen Wuwei
  |  
 
a systematic framework for grammar testing [会议论文]
8th IEEE/ACIS International Conference on Computer and Information Science, Shanghai, PEOPLES R CHINA, JUN 01-03,
Zheng Lixiao; Chen Haiming

 
automated test program generation for an industrial optimizing compiler [会议论文]
4th International Workshop on Automation of Software Test (AST 2009) held at the 31st International Conference on Software Engineering, Vancouver, CANADA, MAY 18-19,
Zhao Chen; Xue Yunzhi; Tao Qiuming; Guo Liang; Wang Zhaohui
  |  
 

1 2 next

 

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