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

Search Results

Help

Item hits: (Results 1-6 of 6)

Items/Page:    Sort:
A property-based testing framework for encryption programs [期刊论文]
Frontiers of Computer Science, 2014-01-01, 卷号: 8, 期号: 3, 页码: 478-489
Sun, Chang-ai (1); Wang, Zuoyi (1); Wang, Guan (1)

 
BPELDebugger: An effective BPEL-specific fault localization framework [期刊论文]
Information and Software Technology, 2013-01-01, 卷号: 55, 期号: 12, 页码: 2140-2153
Sun, Chang-Ai (1); Zhai, Yi Meng (1); Shang, Yan (1); Zhang, Zhenyu (2)

 
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

 
towards dynamic random testing for web services [会议论文]
36th IEEE Annual International Computer Software and Applications Conference, COMPSAC 2012, Izmir, Turkey, July 16, 2012 - July 20, 2012
Sun Chang-Ai; Wang Guan; Cai Kai-Yuan; Chen Tsong Yueh

 
distribution-aware mutation analysis [会议论文]
36th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2012, Izmir, Turkey, July 16, 2012 - July 20, 2012
Sun Chang-Ai; Wang Guan; Cai Kai-Yuan; Chen Tsong Yueh

 

1

 

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