Software Analysis, Testing, and Evolution: 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings

Front Matter ....Pages I-X
Front Matter ....Pages 1-1
 Which Defect Should Be Fixed First? Semantic Prioritization of Static Analysis Report  (Han Wang, Min Zhou, Xi Cheng, Guang Chen, Ming Gu)....Pages 3-19
 Software Bug Localization Based on Key Range Invariants  (Lin Ma, Zuohua Ding)....Pages 20-32
 Evaluating the Strategies of Statement Selection in Automated Program Repair  (Deheng Yang, Yuhua Qi, Xiaoguang Mao)....Pages 33-48
Front Matter ....Pages 49-49
 Evaluating and Integrating Diverse Bug Finders for Effective Program Analysis  (Bailin Lu, Wei Dong, Liangze Yin, Li Zhang)....Pages 51-67
 Recognizing Potential Runtime Types from Python Docstrings  (Yang Luo, Wanwangying Ma, Yanhui Li, Zhifei Chen, Lin Chen)....Pages 68-84
 An Empirical Study of Dynamic Types for Python Projects  (Xinmeng Xia, Xincheng He, Yanyan Yan, Lei Xu, Baowen Xu)....Pages 85-100
Front Matter ....Pages 101-101
 What Strokes to Modify in the Painting? Code Changes Prediction for Object-Oriented Software  (Dinan Zhang, Shizhan Chen, Qiang He, Zhiyong Feng, Keman Huang)....Pages 103-119
 How Reliable Is Your Outsourcing Service for Data Mining? A Metamorphic Method for Verifying the Result Integrity  (Jiewei Zhang, Xiaoyuan Xie, Zhiyi Zhang)....Pages 120-136
 CMSuggester: Method Change Suggestion to Complement Multi-entity Edits  (Ye Wang, Na Meng, Hao Zhong)....Pages 137-153
 Mining Function Call Sequence Patterns Across Different Versions of the Project for Defect Detection  (Zhanqi Cui, Xiang Chen, Yongmin Mu, Zhihua Zhang, Xu Ma)....Pages 154-169
Front Matter ....Pages 171-171
 Parallel Reachability Testing Based on Hadoop MapReduce  (Xiaofang Qi, Yueran Li)....Pages 173-184
 An Automated Test Suite Generating Approach for Stateful Web Services  (Yin Li, Zhi-Guang Sun, Ting-Ting Jiang)....Pages 185-201
 Transient Fault Detection and Recovery Mechanisms in μC/OS-II  (Chengrui He, Li Zhang, Gang Wang, Ziqi Zhen, Lei Wang)....Pages 202-218
Back Matter ....Pages 219-219