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

Search Results

Help

Item hits: (Results 1-10 of 92)

Items/Page:    Sort:
一种基于程序变异的软件错误定位技术 [期刊论文]
计算机学报, 2013-01-01, 卷号: 36, 期号: 11, 页码: 2236-2244
贺韬; 王欣明; 周晓聪; 李文军; 张震宇; 张成志

 
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)

 
forgeability of wang-zhu-feng-yau's attribute-based signature with policy-and-endorsement mechanism [期刊论文]
Journal of Computer Science and Technology, 2013-01-01, 卷号: 28, 期号: 4, 页码: 743-748
Ge Ai-Jun; Huang Xin-Yi; Chen Cheng; Ma Chuan-Gui; Zhang Rui

 
e-block: a tangible programming tool with graphical blocks [期刊论文]
Mathematical Problems in Engineering, 2013-01-01, 卷号: 2013, 页码: -
Wang Danli; Zhang Yang; Chen Shengyong

 
finding orthogonal latin squares using finite model searching tools [期刊论文]
Science China Information Sciences, 2013-01-01, 卷号: 56, 期号: 3, 页码: 1-9
Ma FeiFei; Zhang Jian

 
finding and fixing vulnerabilities in several three-party password authenticated key exchange protocols without server public keys [期刊论文]
Information Sciences, 2013-01-01, 页码: -
Xiong Hu; Chen Yanan; Guan Zhi; Chen Zhong

 
storycube: supporting children's storytelling with a tangible tool [期刊论文]
Journal of Supercomputing, 2013-01-01, 页码: 1-15
Wang Danli; He Liang; Dou Keqin

 
factorising the multiple fault localization problem: adapting single-fault localizer to multi-fault programs [会议论文]
19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4, 2012 - December 7, 2012
Gong Cheng; Zheng Zheng; Zhang Yunqian; Zhang Zhenyu; Xue Yunzhi

 
assertion-directed test case generation [会议论文]
2012 3rd World Congress on Software Engineering, WCSE 2012, Wuhan, China, November 6, 2012 - November 8, 2012
Zeng Fanping; Deng Chaoqiang; Yuan Yuan

 
on model construction for modal mu-calculus [会议论文]
IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, Beijing, China, July 4, 2012 - July 6, 2012
Qu Nan

 

1 2 3 4 5 6 7 8 9 10 next

 

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