Contents

Inner TCB Based Application Protection DENG Liang and ZENG Qing-Kai 2016,27(4):1042-1058 [Abstract(4250)]  [View PDF(6312)1.83 M]

Special Issue's Articles

基于搜索的软件工程研究专题前言 李征,巩敦卫,聂长海,江贺 2016,27(4):769-770 [Abstract(6268)]  [View PDF(8235)439.36 K]

Progress on Approaches to Automatic Program Repair XUAN Ji-Feng, REN Zhi-Lei, WANG Zi-Yuan, XIE Xiao-Yuan and JIANG He 2016,27(4):771-784 [Abstract(9230)]  [View PDF(11404)1.61 M]

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 and YAO Hui-Ran 2016,27(4):785-801 [Abstract(5660)]  [View PDF(9282)1.90 M]

Evolutionary Generation of Test Data for Paths Coverage Based on Node Probability XIA Chun-Yan, ZHANG Yan and SONG Li 2016,27(4):802-813 [Abstract(5650)]  [View PDF(7956)1.39 M]

Fast Automatic Generation Method for Software Testing Data Based on Key-Point Path DING Rui, DONG Hong-Bing, ZHANG Yan and FENG Xian-Bin 2016,27(4):814-827 [Abstract(5962)]  [View PDF(8648)1.56 M]

Evolutional Test Data Generation for Path Coverage by Integrating Neural Network YAO Xiang-Juan, GONG Dun-Wei and LI Bin 2016,27(4):828-838 [Abstract(5606)]  [View PDF(9555)1.45 M]

Selection of Paths for Regression Testing Based on Branch Coverage WU Chuan, GONG Dun-Wei and YAO Xiang-Juan 2016,27(4):839-854 [Abstract(5468)]  [View PDF(8254)1.77 M]

Generating Covering Arrays Using Ant Colony Optimization:Exploration and Mining ZENG Meng-Fan, CHEN Si-Yang, ZHANG Wen-Qian and NIE Chang-Hai 2016,27(4):855-878 [Abstract(8878)]  [View PDF(8975)2.53 M]

Genetic Algorithm Based Multiple Faults Localization Technique WANG Zan, FAN Xiang-Yu, ZOU Yu-Guo and CHEN Xiang 2016,27(4):879-900 [Abstract(6888)]  [View PDF(10771)2.41 M]

Differential IBEA for Non-Conformity Resolution in Interactive CPS Production Line Configuration LU Hong, ZHANG Li and YUE Tao 2016,27(4):901-915 [Abstract(5408)]  [View PDF(8273)1.70 M]

Solving SaaS Components Optimization Placement Problem with Hybird Genetic and Simulated Annealing Algorithm MENG Fan-Chao, CHU Dian-Hui, LI Ke-Qiu and ZHOU Xue-Quan 2016,27(4):916-932 [Abstract(6040)]  [View PDF(8937)2.18 M]

Selection of Key Software Components for Formal Development Using Water Wave Optimization ZHENG Yu-Jun, ZHANG Bei and XUE Jin-Yun 2016,27(4):933-942 [Abstract(6170)]  [View PDF(8307)1.21 M]

CPU+GPU Heterogeneous Computing Orientated Multi-Objective Test Case Prioritization BIAN Yi, YUAN Fang, GUO Jun-Xia, LI Zheng and ZHAO Rui-Lian 2016,27(4):943-954 [Abstract(5872)]  [View PDF(8572)1.52 M]

Review Articles

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 and LIU Yin-Ling 2016,27(4):955-968 [Abstract(8217)]  [View PDF(12932)1.74 M]

Software Defined Networking:Security Model, Threats and Mechanism WANG Meng-Meng, LIU Jian-Wei, CHEN Jie, MAO Jian and MAO Ke-Fei 2016,27(4):969-992 [Abstract(12286)]  [View PDF(15208)3.33 M]

Survey on the Languages in the Northbound Interface of Software Defined Networking YU Yang, WANG Zhi-Liang, BI Jun, SHI Xin-Gang and YIN Xia 2016,27(4):993-1008 [Abstract(7463)]  [View PDF(10962)1.81 M]

Study on Multi-Core Data Structure in Shared-Memory ZHOU Wei, ZHOU Ke-Ren, LUAN Zhong-Zhi, YAO Shao-Wen and QIAN De-Pei 2016,27(4):1009-1025 [Abstract(7343)]  [View PDF(11212)2.01 M]

Energy Consumption Measurement and Management in Cloud Computing Environment LIN Wei-Wei and WU Wen-Tai 2016,27(4):1026-1041 [Abstract(7664)]  [View PDF(10919)1.81 M]