1000-9825
2016 Issue 4
..............page:封3
ji yu sou suo de ruan jian gong cheng yan jiu zhuan ti qian yan
li zheng ;, gong dun wei ;, nie chang hai ;, jiang he ;
li zheng ;, gong dun wei ;, nie chang hai ;, jiang he ;
..............page:769-770
Progress on Approaches to Automatic Program Repair
XUAN Ji-Feng;,REN Zhi-Lei;,WANG Zi-Yuan;,XIE Xiao-Yuan;,JIANG He;
XUAN Ji-Feng;,REN Zhi-Lei;,WANG Zi-Yuan;,XIE Xiao-Yuan;,JIANG He;
..............page:771-784
Test Case Generation Based on Combination of Schema Using Particle Swarm Optimization
JIANG Shu-Juan;,WANG Ling-Sai;,XUE Meng;,ZHANG Yan-Mei;,YU Qiao;,YAO Hui-Ran;
JIANG Shu-Juan;,WANG Ling-Sai;,XUE Meng;,ZHANG Yan-Mei;,YU Qiao;,YAO Hui-Ran;
..............page:785-801
Evolutionary Generation of Test Data for Paths Coverage Based on Node Probability
XIA Chun-Yan;,ZHANG Yan;,SONG Li;
XIA Chun-Yan;,ZHANG Yan;,SONG Li;
..............page:802-813
Fast Automatic Generation Method for Software Testing Data Based on Key-Point Path
DING Rui;,DONG Hong-Bing;,ZHANG Yan;,FENG Xian-Bin;
DING Rui;,DONG Hong-Bing;,ZHANG Yan;,FENG Xian-Bin;
..............page:814-827
Evolutional Test Data Generation for Path Coverage by Integrating Neural Network
YAO Xiang-Juan;,GONG Dun-Wei;,LI Bin;
YAO Xiang-Juan;,GONG Dun-Wei;,LI Bin;
..............page:828-838
Selection of Paths for Regression Testing Based on Branch Coverage
WU Chuan;,GONG Dun-Wei;,YAO Xiang-Juan;
WU Chuan;,GONG Dun-Wei;,YAO Xiang-Juan;
..............page:839-854
Generating Covering Arrays Using Ant Colony Optimization: Exploration and Mining
ZENG Meng-Fan;,CHEN Si-Yang;,ZHANG Wen-Qian;,NIE Chang-Hai;
ZENG Meng-Fan;,CHEN Si-Yang;,ZHANG Wen-Qian;,NIE Chang-Hai;
..............page:855-878
Genetic Algorithm Based Multiple Faults Localization Technique
WANG Zan;,FAN Xiang-Yu;,ZOU Yu-Guo;,CHEN Xiang;
WANG Zan;,FAN Xiang-Yu;,ZOU Yu-Guo;,CHEN Xiang;
..............page:879-900
Differential IBEA for Non-Conformity Resolution in Interactive CPS Production Line Configuration
LU Hong;,ZHANG Li;,YUE Tao;
LU Hong;,ZHANG Li;,YUE Tao;
..............page:901-915
Solving SaaS Components Optimization Placement Problem with Hybird Genetic and Simulated Annealing Algorithm
MENG Fan-Chao;,CHU Dian-Hui;,LI Ke-Qiu;,ZHOU Xue-Quan;
MENG Fan-Chao;,CHU Dian-Hui;,LI Ke-Qiu;,ZHOU Xue-Quan;
..............page:916-932
Selection of Key Software Components for Formal Development Using Water Wave Optimization
ZHENG Yu-Jun;,ZHANG Bei;,XUE Jin-Yun;
ZHENG Yu-Jun;,ZHANG Bei;,XUE Jin-Yun;
..............page:933-942
CPU+GPU Heterogeneous Computing Orientated Multi-Objective Test Case Prioritization
BIAN Yi;,YUAN Fang;,GUO Jun-Xia;,LI Zheng;,ZHAO Rui-Lian;
BIAN Yi;,YUAN Fang;,GUO Jun-Xia;,LI Zheng;,ZHAO Rui-Lian;
..............page:943-954
Survey on Software Trustworthiness Evaluation: Standards, Models and Tools
SHEN Guo-Hua;,HUANG Zhi-Qiu;,XIE Bing;,ZHU Yi-Quan;,LIAO Li-Li;,WANG Fei;,LIU Yin-Ling;
SHEN Guo-Hua;,HUANG Zhi-Qiu;,XIE Bing;,ZHU Yi-Quan;,LIAO Li-Li;,WANG Fei;,LIU Yin-Ling;
..............page:955-968
Software Defined Networking: Security Model, Threats and Mechanism
WANG Meng-Meng;,LIU Jian-Wei;,CHEN Jie;,MAO Jian;,MAO Ke-Fei;
WANG Meng-Meng;,LIU Jian-Wei;,CHEN Jie;,MAO Jian;,MAO Ke-Fei;
..............page:969-992
Survey on the Languages in the Northbound Interface of Software Defined Networking
YU Yang;,WANG Zhi-Liang;,BI Jun;,SHI Xin-Gang;,YIN Xia;
YU Yang;,WANG Zhi-Liang;,BI Jun;,SHI Xin-Gang;,YIN Xia;
..............page:993-1008
Study on Multi-Core Data Structure in Shared-Memory
ZHOU Wei;,ZHOU Ke-Ren;,LUAN Zhong-Zhi;,YAO Shao-Wen;,QIAN De-Pei;
ZHOU Wei;,ZHOU Ke-Ren;,LUAN Zhong-Zhi;,YAO Shao-Wen;,QIAN De-Pei;
..............page:1009-1025
Energy Consumption Measurement and Management in Cloud Computing Environment
LIN Wei-Wei;,WU Wen-Tai;
LIN Wei-Wei;,WU Wen-Tai;
..............page:1026-1041
Inner TCB Based Application Protection
DENG Liang;,ZENG Qing-Kai;
DENG Liang;,ZENG Qing-Kai;
..............page:1042-1058