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

Search Results

Help

Item hits: (Results 1-9 of 9)

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
  |  
 
基于ISO9000的软件质量保证模型 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 12, 页码: 1837
王青
  |  
 

1

 

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