Time

Talk

8:55-9:00

Opening Remarks (PC Chairs: Cong Tian & Yuting Chen)

9:00-10:20

Session 1: Testing of Software Systems

Session chair: Yuting Chen, Shanghai Jiao Tong University

1.   Adaptive Random Testing by Bisection and Comprehensive Distance

Chengying Mao, Mengting Quan, Zhilei Chen, Tsong Yueh Chen

Jiangxi University of Finance and Economics, Swinburne University of Technology

2.   Android组件间通信的模糊测试方法

赵赛, 刘昊, 王雨峰, 许颂, 严俊

北京工业大学, 中国科学院软件研究所

3.   Metamorphic Testing in Fault Localization of Model Transformations

Keke Du, Mingyue Jiang, Zuohua Ding

Zhejiang Sci-Tech University

4.   基于接口仿真的雷达软件测试自动化技术研究与应用

刘宇, 流畅, 吴辉, 柳溪

中国电子科技集团公司第十四研究所, 北京航空航天大学

10:20-10:40

Break

10:40-12:00

Session 2: Defect Prediction and Detection

Session chair: Lei Bu, Nanjing University

1.   CMM: A Combination-based Mutation Method For SQL Injection

Jing Zhao, Tianran Dong, Yanbin Wang

Dalian University of Technology, Peng Cheng Laboratory, Harbin Engineering University, Harbin Institute of Technology

2.   基于知识图谱辅助自动化机器学习的软件缺陷预测

高猛, 李鹏宇, 张兆夕

北京轩宇信息技术有限公司

3.   基于脚本预测和重组的内存泄漏测试加速技术

李吟, 周辉, 钱巨

江苏自动化研究所,南京航空航天大学

4.   基于噪声注入的并发程序缺陷检测优化

孙家泽, 王丹, 王曙燕

西安邮电大学

13:30-14:00

Keynote Talk (Session chair: Cong Tian, Xidian University)

How good is your AI system? Verification and Validation Empowered by Metamorphic Testing

Xiaoyuan Xie

Wuhan University

14:00-15:20

Session 3: System Evolution and Trustworthiness

Session chair: Xiaoyuan Xie, Wuhan University

1.   Prediction of Function Removal Propagation in Linux Evolution 

Lei Wang, Guoxiong Chen, Liang Li

Beihang University

2.   Duplicate Bug Report Detection Using Dual-Channel Convolutional Neural Networks

Jianjun He, Ling Xu, Meng Yan, Bei Wang, Xin Xia

Chongqing University, Zhejiang University, Monash University

3.   基于迁移主成分分析的跨项目克隆代码一致性维护需求预测

邱少健, 张凡龙, 陆璐

华南理工大学,广东工业大学

4.   Data Provenance Based System for Classification and Linear Regression in Distributed Machine Learning

Muhammad Jahanzeb Khan, Ruoyu Wang, Daniel Sun, Guoqiang Li

Shanghai Jiao Tong University, CSIRO, University of New South Wales

15:20-16:00

Break

16:00-17:40

Session 4 : Program Analysis and Model Checking

Session chair: Yu Zhou, Nanjing University of Aeronautics and Astronautics

1.   Regression Models for Performance Ranking of Configurable Systems: A Comparative Study

Yuntianyi Chen, Yongfeng Gu, Lulu He, Jifeng Xuan

Wuhan University

2.   广义可能性决策过程的μ-演算模型检测算法

张盼青, 姜久雷, 马占有

北方民族大学.

3.   Combining Model Learning and Model Checking to Analyze Java Libraries

Shahbaz Ali, Hailong Sun, Yongwang Zhao

Beihang University

4.   A Fault Localization Method Based on Dynamic Failed Execution Blocks

Baoyi Pan, Ting Shu, Jinsong Xia, Zuohua Ding

Zhejiang Sci-Tech University

5.   军用软件测试知识图谱的构建及问答技术研究

韩鑫鑫, 贲可荣, 张献

海军工程大学

17:40-17:45

Closing Remarks (PC Chairs: Cong Tian & Yuting Chen)