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

Search Results

Help

Item hits: (Results 1-10 of 14)

Items/Page:    Sort:
toward effectively locating integration-level faults in bpel programs [会议论文]
12th International Conference on Quality Software, QSIC 2012, Xi'an, Shaanxi, China, August 27, 2012 - August 29, 2012
Sun Chang-Ai; Zhai Yimeng; Shang Yan; Zhang Zhenyu

 
scenario-oriented testing for web service compositions using bpel [会议论文]
12th International Conference on Quality Software, QSIC 2012, Xi'an, Shaanxi, China, August 27, 2012 - August 29, 2012
Sun Chang-Ai; Shang Yan; Zhao Yan; Chen Tsong Yueh

 
emerald: an automated modeling and verification tool for component-based real-time systems [会议论文]
12th International Conference on Quality Software, QSIC 2012, Xi'an, Shaanxi, China, August 27, 2012 - August 29, 2012
Zhang Yizhou; Lin Hao; Li Guoqiang

 
message from the qsic 2012 general chair [期刊论文]
Proceedings - International Conference on Quality Software, 2012-01-01, 页码: x-
Zhou Chaochen

 
path and context sensitive inter-procedural memory leak detection [会议论文]
8th International Conference on Quality Software, Oxford, ENGLAND, AUG 12-13,
Xu Zhongxing; Zhang Jian
  |  
 
smt-based bounded model checking for real-time systems [会议论文]
8th International Conference on Quality Software, Oxford, ENGLAND, AUG 12-13,
Xu Liang
  |  
 
an event-driven adaptive differentiated service web container architecture [会议论文]
6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28,
Li Yang; Chen Ningjiang; Huang Tao
  |  
 
an event-driven adaptive differentiated service web container architecture [会议论文]
6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28,
Li Yang; Chen Ningjiang; Huang Tao
  |  
 
ltl model checking via search space partition [会议论文]
6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28,
Pu Fei; Zhang Wenhui
  |  
 
ltl model checking via search space partition [会议论文]
6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28,
Pu Fei; Zhang Wenhui
  |  
 

1 2 next

 

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