Search Results

Item hits: (Results 1-10 of 92)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectSubmitted Time AscendingSubmitted Time DescendingTitle AscendingTitle DescendingAuthor AscendingAuthor DescendingIssue Date AscendingIssue Date Descending
	一种基于程序变异的软件错误定位技术 [期刊论文] 计算机学报, 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