08:30-10:00 L1-401 特邀报告（主持人：徐宝文）

特邀报告：陈立前

特邀报告：陈振宇

特邀报告：刘譞哲

10:00-10:30 茶歇

10:20-12:00 L1-401 分析测试（主持人：陈雨亭）

10:20-12:00 L1-405 Software Mining（主持人：刘烨庞）

基于模型进化的移动应用测试数据生成方法. 杨森, 黄松, 惠战伟.

基于校正因子的随机TBFL方法. 王蓁蓁

基于约束求解的代码查询技术在StackOverflow上的实证研究. 陈正钊, 姜人和, 张天.

基于资源依赖分析的资源相关配置项检测方法. 李云峰, 王智明.

What Strokes to Modify in the Painting? Code Changes Prediction for Object-Oriented Software. Dinan Zhang, Shizhan Chen, Qiang He, Zhiyong Feng and Keman Huang

How Reliable Is Your Outsourcing Service for Data Mining? A Metamorphic Method for Verifying the Result Integrity. Jiewei Zhang, Xiaoyuan Xie and Zhiyi Zhang

CMSuggester: Method Change Suggestion to Complement Multi-Entity Edits. Ye Wang, Na Meng and Hao Zhong

Mining Function Call Sequence Patterns across Different Versions of the Project for Defect Detection. Zhanqi Cui, Xiang Chen, Yongmin Mu, Zhihua Zhang and Xu Ma

12:00-13:45 午餐

13:45-15:00 L1-403 Program Repair（主持人：陈振邦）

13:45-15:00 L1-405 Testing and Monitoring （主持人：陈林）

Which Defect Should Be Fixed First? Semantic Prioritization of Static Analysis Report. Han Wang, Min Zhou, Xi Cheng, Guang Chen and Ming Gu

Software Bug Localization Based on Key Range Invariants. Lin Ma and Zuohua Ding

Evaluating the Strategies of Statement Selection in Automated Program Repair. Deheng Yang, Yuhua Qi and Xiaoguang Mao

Parallel Reachability Testing Based on Hadoop MapReduce. Xiaofang Qi and Yueran Li

An Automated Test Suite Generating Approach for Stateful Web Services. Yin Li, Zhiguang Sun and Tingting Jiang 

Transient Fault Detection and Recovery Mechanisms in μC/OS-II. Chengrui He, Li Zhang, Gang Wang, Ziqi Zhen and Lei Wang

15:00-15:30 茶歇

15:30-17:10 L1-403 软件挖掘（主持人：谢晓园）

15:30-16:45 L1-405 Program Analysis（主持人：田聪）

改进的神经语言模型及在代码提示中的应用. 张献,贲可荣.

一种基于卷积神经网络的缺陷报告分配方法. 郭世凯,陈荣,唐文君,李辉,魏苗苗.

基于卷积神经网络的代价敏感软件缺陷预测模型. 邱少健, 蔡子仪, 陆璐.

基于演化历史的软件故障与日志关联关系分析与挖掘. 池书琪, 何浩辰.

Evaluating and Integrating Diverse Bug Finders for Effective Program Analysis. Bailin Lu, Wei Dong, Liangze Yin and Li Zhang

Recognizing potential runtime types from Python Docstrings. Yang Luo, Wanwangying Ma, Yanhui Li, Zhifei Chen and Lin Chen

An Empirical Study of Dynamic Types for Python Projects. Xinmeng Xia, Xincheng He, Yanyan Yan, Lei Xu and Baowen Xu