0254-4164
2016 Issue 11
Geographical Data Generation for Testing Location-Based Services
HOU Ke-Jia;,HUANG Jun;,BAI Xiao-Ying;,ZHOU Li-Zhu;
HOU Ke-Jia;,HUANG Jun;,BAI Xiao-Ying;,ZHOU Li-Zhu;
..............page:2161-2174
Fault Localization Based on Weighted Software Behavior Graph Mining
SU Xiao-Hong;,WANG Tian-Tian;,YANG Shao-Jun;,MA Pei-Jun;
SU Xiao-Hong;,WANG Tian-Tian;,YANG Shao-Jun;,MA Pei-Jun;
..............page:2175-2188
Software Self-Adaptation:Control Theory Based Approach
YANG Qi-Liang;,MA Xiao-Xing;,XING Jian-Chun;,HU Hao;,WANG Ping;,HAN De-Shuai;
YANG Qi-Liang;,MA Xiao-Xing;,XING Jian-Chun;,HU Hao;,WANG Ping;,HAN De-Shuai;
..............page:2189-2215
Research on Dynamic Evolution Mechanisms of Software Runtime Variability
LIU Ji-Wei;,MAO Xin-Jun;
LIU Ji-Wei;,MAO Xin-Jun;
..............page:2216-2235
Optimized Test Cases Generation for EFSM Model Combining Abstraction Refinement and Satisfiability
LU Gong-Zheng;,MIAO Huai-Kou;
LU Gong-Zheng;,MIAO Huai-Kou;
..............page:2236-2252
Verification of Real-Time Systems with Time Multi-Pushdown Net
QIAN Jun-Yan;,GAN Peng-Cheng;,GUO Yun-Chuan;,ZHAO Ling-Zhong;,GU Tian-Long;
QIAN Jun-Yan;,GAN Peng-Cheng;,GUO Yun-Chuan;,ZHAO Ling-Zhong;,GU Tian-Long;
..............page:2253-2269
Research Advance on Code Oriented Optimization of Software Energy Consumption
SONG Jie;,SUN Zong-Zhe;,LI Tian-Tian;,BAO Yu-Bin;,YU Ge;
SONG Jie;,SUN Zong-Zhe;,LI Tian-Tian;,BAO Yu-Bin;,YU Ge;
..............page:2270-2290
Fixed-Parameter Linear Algorithm for Counting Workflow Satisfiability (≠)
ZHAI Zhi-Nian;,LU Ya-Hui;,ZHOU Wu-Jie;,CHEN Zhi-Hao;,WANG Zhong-Peng;,LIN Jiang;
ZHAI Zhi-Nian;,LU Ya-Hui;,ZHOU Wu-Jie;,CHEN Zhi-Hao;,WANG Zhong-Peng;,LIN Jiang;
..............page:2291-2306
An Approach of Iterative Partition Testing Based on Priority Sampling
ZHANG Xiao-Fang;,ZHANG Zong-Zhang;,XIE Xiao-Yuan;,ZHOU Yi-Cheng;
ZHANG Xiao-Fang;,ZHANG Zong-Zhang;,XIE Xiao-Yuan;,ZHOU Yi-Cheng;
..............page:2307-2323
Model Checking for Software Information Leakage in Mobile Application
GUO Chen-Kai;,XU Jing;,SI Guan-Nan;,LI En-Peng;,XU Si-Han;
GUO Chen-Kai;,XU Jing;,SI Guan-Nan;,LI En-Peng;,XU Si-Han;
..............page:2324-2343
Analyzing Software Requirements for Cyber Physical Systems
LIU Chun;,HUANG Ran-Ran;,ZHANG Wei;,ZHAO Hai-Yan;,JIN Zhi;
LIU Chun;,HUANG Ran-Ran;,ZHANG Wei;,ZHAO Hai-Yan;,JIN Zhi;
..............page:2344-2354
Feasible Path Generation of Weak Mutation Testing Based on Statistical Analysis
DANG Xiang-Ying;,GONG Dun-Wei;,YAO Xiang-Juan;
DANG Xiang-Ying;,GONG Dun-Wei;,YAO Xiang-Juan;
..............page:2355-2371
An Approach of Regression Test Case Generation Based on Variable Impact Analysis and Data Mutation
YANG Bo;,WU Ji;,LIU Chao;
YANG Bo;,WU Ji;,LIU Chao;
..............page:2372-2387
Dynamic Weight Matchings in Left Weighted Convex Bipartite Graphs
ZU Quan;,ZHANG Miao-Miao;,LIU Jing;
ZU Quan;,ZHANG Miao-Miao;,LIU Jing;
..............page:2388-2403