中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-8 of 8)

Items/Page: Sort:
	inferring method specifications from natural language api descriptions [会议论文] 34th International Conference on Software Engineering, ICSE 2012, Zurich, Switzerland, June 2, 2012 - June 9, 2012 Pandita Rahul; Xiao Xusheng; Zhong Hao; Xie Tao; Oney Stephen; Paradkar Amit
	software fault localization based on program slicing spectrum [会议论文] 34th International Conference on Software Engineering, ICSE 2012, Zurich, Switzerland, June 2, 2012 - June 9, 2012 Wen Wanzhi
	program analysis: from qualitative analysis to quantitative analysis (nier track) [会议论文] 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu, HI, United states, 21-May-20 Liu Sheng; Zhang Jian \|
	tuple density: a new metric for combinatorial test suites (nier track) [会议论文] 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu, HI, United states, 21-May-20 Chen Baiqiang; Zhang Jian \|
	value-based program characterization and its application to software plagiarism detection [会议论文] 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu, HI, United states, 21-May-20 Jhi Yoon-Chan; Wang Xinran; Jia Xiaoqi; Zhu Sencun; Liu Peng; Wu Dinghao \|
	mining api mapping for language migration [会议论文] 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010, Cape Town, South africa, May 1, 201 Zhong Hao; Thummalapenta Suresh; Xie Tao; Zhang Lu; Wang Qing \|
	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 \|
	a cut-off approach for bounded verification of parameterized systems [会议论文] 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010, Cape Town, South africa, May 1, 201 Yang Qiusong; Li Mingshu \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In