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

Search Results

Help

Item hits: (Results 51-60 of 92)

Items/Page:    Sort:
macro-like instrumentation grammar for boolean expressions [会议论文]
2010 International Conference on Computational Intelligence and Software Engineering, CiSE 2010, Wuhan, China, 40878
Zhang Zhenyu; Xu Zhongxing; Liu Zhifang; Gao Xiaopeng
  |  
 
quantitative analysis of requirements evolution across multiple versions of an industrial software product [会议论文]
17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, 40850
Hailong Wang; Juan Li; Qing Wang; Ye Yang
  |  
 
property checking for 1-place-unbounded petri nets [会议论文]
2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, August 25,
Wang Yunhe; Jiang Bo; Jiao Li
  |  
 
problem reduction graph model for discrete optimization problems [会议论文]
3rd International Joint Conference on Computational Sciences and Optimization, CSO 2010: Theoretical Development and Engineering Practice, Huangshan, Anhui, China, 43979
Zheng Yujun; Xue Jinyun
  |  
 
enhance fault localization using a 3d surface representation [会议论文]
2nd International Conference on Computer Research and Development, ICCRD 2010, Kuala Lumpur, Malaysia, May 7, 201
Shi Qiong; Zhang Zhenyu; Liu Zhifang; Gao Xiaopeng
  |  
 
combinatorial testing with shielding parameters [会议论文]
17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, Australia, 40850
Chen Baiqiang; Yan Jun; Zhang Jian
  |  
 
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
  |  
 
automatic bug triage using semi-supervised text classification [会议论文]
22nd International Conference on Software Engineering and Knowledge Engineering, SEKE 2010, Redwood City, CA, United states, 44013
Xuan Jifeng; Jiang He; Ren Zhilei; Yan Jun; Luo Zhongxuan
  |  
 
axiomatic temporal logic programs verification [会议论文]
2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, August 25,
Yang Xiaoxiao; Duan Zhenhua
  |  
 
a fuzzy-based method for evaluating the trustworthiness of software processes [会议论文]
International Conference on Software Process, ICSP 2010, Paderborn, Germany, 44020
Zhang Haopeng; Shu Fengdi; Yang Ye; Wang Xu; Wang Qing
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 next

 

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