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

Search Results

Help

Item hits: (Results 1-10 of 67)

Filters    
Items/Page:    Sort:
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)

 
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

 
connectors as designs: the time dimension [会议论文]
IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, Beijing, China, July 4, 2012 - July 6, 2012
Meng Sun

 
enhance value by building trustworthy software-reliant system of systems from software product lines [会议论文]
2012 3rd International Workshop on Product LinE Approaches in Software Engineering, PLEASE 2012, Zurich, Switzerland, June 4, 2012 - June 4, 2012
Li Dong; Yang Ye

 
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

 
value-based portfolio scoping: an industrial case study [会议论文]
2012 3rd International Workshop on Product LinE Approaches in Software Engineering, PLEASE 2012, Zurich, Switzerland, June 4, 2012 - June 4, 2012
Hu Jie; Yang Ye; Wang Qing; Ruhe Guenther; Wang Haitao

 
a path-oriented approach to generating executable test sequences for extended finite state machines [会议论文]
IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, Beijing, China, July 4, 2012 - July 6, 2012
Wu Tianyong; Yan Jun; Zhang Jian

 
study on the representation and acquisition mode of network science and technology intelligence based on multilingual ontologies [会议论文]
2012 International Conference on Affective Computing and Intelligent Interaction, ICACII 2012, Taipei, Taiwan, February 27, 2012 - February 28, 2012
Wu Suyan; Li Wenbo; Zhao Xin

 

1 2 3 4 5 6 7 next

 

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