0254-4164
2015 Issue 11
Test Case Generation for Embedded Software Using Interface Automata and Symbolic Execution
WANG Bo;,BAI Xiao-Ying;,ZHANG Chao;,HE Fei;
WANG Bo;,BAI Xiao-Ying;,ZHANG Chao;,HE Fei;
..............page:2125-2144
Survey for Stochastic Model Checking
LIU Yang;,LI Xuan-Dong;,MA Yan;,WANG Lin-Zhang;
LIU Yang;,LI Xuan-Dong;,MA Yan;,WANG Lin-Zhang;
..............page:2145-2162
Research on Time-Aware Web Search
LIN Sheng;,JIN Pei-Quan;,ZHAO Xu-Jian;,YUE Li-Hua;
LIN Sheng;,JIN Pei-Quan;,ZHAO Xu-Jian;,YUE Li-Hua;
..............page:2163-2171
APISynth:A New Graph-Based API Recommender System
LV Chen;,JIANG Wei;,HU Song-Lin;
LV Chen;,JIANG Wei;,HU Song-Lin;
..............page:2172-2187
Fault Localization Based on Dynamic Slicing and Association Analysis
CAO He-Ling;,JIANG Shu-Juan;,JU Xiao-Lin;,WANG Xing-Ya;
CAO He-Ling;,JIANG Shu-Juan;,JU Xiao-Lin;,WANG Xing-Ya;
..............page:2188-2202
Program Multiple Execution Paths Verification Based on k Proximity Weakest Precondition
GUO Xi;,WANG Pan;,WANG Jian-Yong;,ZHANG Huan-Guo;
GUO Xi;,WANG Pan;,WANG Jian-Yong;,ZHANG Huan-Guo;
..............page:2203-2214
A Survey on Exposing,Detecting and Avoiding Concurrency Bugs
SU Xiao-Hong;,YU Zhen;,WANG Tian-Tian;,MA Pei-Jun;
SU Xiao-Hong;,YU Zhen;,WANG Tian-Tian;,MA Pei-Jun;
..............page:2215-2233
A Method Based on Context-Awareness for Remote User Experience Data Capturing
HAN Li;,LIU Zheng-Jie;,Li Hui;,YU Chen-Ye;,ZHANG Jun;,CHEN Yuan-Yuan;
HAN Li;,LIU Zheng-Jie;,Li Hui;,YU Chen-Ye;,ZHANG Jun;,CHEN Yuan-Yuan;
..............page:2234-2246
Evolutionary Generation of Test Data for Regression Testing Based on Path Correlation
WU Chuan;,GONG Dun-Wei;
WU Chuan;,GONG Dun-Wei;
..............page:2247-2261
Key Scientific Issues and State-Art of Automatic Software Fault Localization
WANG Ke-Chao;,WANG Tian-Tian;,SU Xiao-Hong;,MA Pei-Jun;
WANG Ke-Chao;,WANG Tian-Tian;,SU Xiao-Hong;,MA Pei-Jun;
..............page:2262-2278
The Generation Algorithm of Consistent Closed Forbidden Interaction Set
ZHOU Wu-Jie;,ZHANG De-Ping;,XU Bao-Wen;
ZHOU Wu-Jie;,ZHANG De-Ping;,XU Bao-Wen;
..............page:2279-2289
Software Vulnerable Trace’s Solving Algorithm Based on Lazy Symbolic Execution
QIN Xiao-Jun;,ZHOU Lin;,CHEN Zuo-Ning;,GAN Shui-Tao;
QIN Xiao-Jun;,ZHOU Lin;,CHEN Zuo-Ning;,GAN Shui-Tao;
..............page:2290-2300
S-ABC-Service Domain-Oriented Artificial Bee Colony Algorithm Paradigm
XU Xiao-Fei;,LIU Zhi-Zhong;,WANG Zhong-Jie;,MIN Xun-You;,LIU Rui-Lin;,WANG Hai-Fang;
XU Xiao-Fei;,LIU Zhi-Zhong;,WANG Zhong-Jie;,MIN Xun-You;,LIU Rui-Lin;,WANG Hai-Fang;
..............page:2301-2317
Test Case Generation Based on Mutation Analysis and Set Evolution
ZHANG Gong-Jie;,GONG Dun-Wei;,YAO Xiang-Juan;
ZHANG Gong-Jie;,GONG Dun-Wei;,YAO Xiang-Juan;
..............page:2318-2331
..............page:2332-2332