The Second International Workshop on Intelligent Bug Fixing

February 18,2020
London,Ontario
co-located with SANER 2020

Introduction

Bug fixing is expensive and the study of it is a hot research topic in software engineering. During the bug fixing process, developers leverage various software artifacts (e.g., bug reports, commits, log files, source files, etc.) and explore multi-source heterogeneous information (Q&A websites, web resources, software communities, etc.) to reproduce the bugs, locate the bugs, identify candidate fixing solutions, apply the fixes and validate the fixes. The rich data can indicate the important information of bug fixing, which can guide developers resolve bugs. For example, a bug report not only shows the details of the reported bug, but also shows the potential method of bug fixing. Therefore, how to analyze and utilize these data is an important step of bug fixing.


The workshop will focus on intelligent bug fixing. Generally, bug fixing process includes bug understanding (i.e., bug reproduction, severity/priority verification, bug summarization, bug classification, bug knowledge extraction), bug localization, bug fixing, and bug validation. By using data mining, information retrieval, machine learning, natural language processing, artificial intelligence technologies, visualization technologies, human-computer interaction technologies and code analysis technologies, a series of new automated algorithms will be proposed to improve the performance of developers bug fixing process. In this workshop, we solicit high-quality contributions with consolidated and thoroughly evaluated application-oriented research results in the area of intelligent bug fixing that are worthy of archival publication in SANER 2020 workshop proceeding. It is intended to (i) provide a summary of research that advances intelligent bug fixing using multiple data analysis and processing techniques, and (ii) serve as a comprehensive collection of some of the current state-of-the-art technologies within this content. The workshop will collaborate with the 27th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2020).

Important Dates

Call for Paper

Submissions from academia and industry reporting original research results or practical experience are welcome. All submissions should consider the practical application of the idea through case studies, experiments, empirical validation, or systematic comparisons with other approaches already in practice. We strongly encourage authors to make available all data and software they use in their work, in order to allow for replication of their results.

The topics relevant to the workshop include (but are not limited to) the following.

Submission Page: click here

Organization

Organizing Committee

The Hong Kong Polytechnic University, Hong Kong, China (csxluo@comp.polyu.edu.hk)

Xiapu Luo

Concordia University, Canada (shang@encs.concordia.ca)

Weiyi Shang

Yangzhou University, China (xbsun@yzu.edu.cn)

Xiaobing Sun

Macau University of Science and Technology, Macao, China (tazhang@must.edu.mo)

Tao Zhang

Program Committee

Chang Xu Nanjing University
Xiaobing Sun Yangzhou University
Weiyi Shang Concordia University
Eunjong Choi Kyoto Institute of Technology
Jifeng Xuan Wuhan University
Jinfu Chen Concordia University
Jingxuan Zhang Nanjing University of Aeronautics and Astronautics
Jing Jiang Beihang University
Shin Hong Handong Global University
Lingfeng Bao Zhejiang University
Hao Zhong Shanghai Jiao Tong University
Lu Xiao Stevens Institute of Technology
Jinqiu Yang Concordia University
Chunrong Fang Software Institute of Nanjing University
Jürgen Cito MIT
Xiaoyuan Xie Wuhan University
Tao Zhang Macau University of Science and Technology
Yan Cai State Key Laboratory of Computer Science,Institute of Software,Chinese Academy of Sciences
Heng Li Queen's University
Donghwan Shin University of Luxembourg
Ying Wang Northeastern University
Yepang Liu Southern University of Science and Technology
Lei Ma Kyushu University
He Jiang Dalian University of Technology
Xiapu Luo The Hong Kong Polytechnic University
Patanamon Thongtanunam The University of Melbourne
Hui Liu Beijing Institute of Technology

submission

Submitted papers must have been neither previously accepted for publication nor concurrently submitted for review in another journal, book, conference, or workshop.


All submissions must come in PDF format and conform, at time of submission, to the IEEE Conference Proceedings Formatting Guidelines (title in 24pt font and full text in 10pt font, LaTEX users must use documentclass[10pt,conference]{IEEEtran} without including the compsoc or compsocconf option. Also, papers must comply with the IEEE Policy on Authorship.


All submissions must be in English. Submissions should not exceed 8 pages + 2 pages (references only), and should be uploaded electronically in PDF format via EasyChair. Submissions that do not adhere to these limits or that violate the formatting guidelines will be desk-rejected without review.


Authors of selected papers accepted at IBF2020 will be invited to submitted revised, extended versions of their manuscripts for a special issue of Journal of Systems and Software (JSS).


Note that we follows a full double-blind review process.


Submission Page: click here

Keynote

Towards Correct and High-quality Repairs of Concurrency Bugs


(Yan Cai, State Key Laboratory of Computer Science,Institute of Software,Chinese Academy of Sciences)
09:30 - 10:15, Feb. 18

Abstract:


Program repair has been one of hot topics in SE/PL and several challenges still remain in term of repair correctness and quality for repairing generalized software bugs. In this talk, I will introduce works on repairing concurrency bugs. Concurrency bugs can appear in multithreaded programs that exhibit non-determinism during their executions. Unlike sequential programs, even under the same input, a multithreaded program can have a large interleaving space. This brings the essential challenge for analyzing them and repairing concurrency bugs. In summary, this talk will focus on analyzing concurrency bugs and their automated repairs, considering the correctness and quality.



About the Speaker:


Yan Cai is a research professor at State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences. He received his PhD degree from City University of Hong Kong in 2014. His current research interest is software testing and program analysis on large-scale systems. He has published many papers in top SE venues such as ICSE, ESEC/FSE, and IEEE TSE. He is a program co-chair of COMPSAC/SETA 2018 and 2019, the publicity chair of ICST 2019, on the Editorial Board of JSS, a Young Associate Editor of FCS. See more at http://yancai.site

Program

Time Schedule 18 Feb. 2020, Tuesday
09:15 Welcome from chairs
09:30 - 10:15 Keynote
10:15 - 10:30 Q and A
10:30 - 11:00 Break
11:00 - 12:30 Paper Session #1: Bugs
1. An Empirical Study of High-impact Factors for Machine Learning-Based Vulnerability Detection
(Wei Zheng, Jialiang Gao, Xiaoxue Wu, Yuxing Xun, Guoliang Liu and Xiang Chen)
2. An Empirical Study of Bug Bounty Programs
(Thomas Walshe and Andrew Simpson)
3. Why Is My Bug Wontfix?
(Qingye Wang)
4. Can This Fault Be Detected by Automated Test Generation: A Preliminary Study
(Hangyuan Cheng, Ping Ma, Jingxuan Zhang and Jifeng Xuan)
12:30 - 14:00 Lunch
14:00 - 15:20 Paper Session #2: Patches and Releases
1. Exploring the Differences between Plausible and Correct Patches at Fine-Grained Level
(Bo Yang and Jinqiu Yang)
2. Blve: Should The Current Software Version Be Suitable For Release?
(Wei Zheng, Xiaojun Chen, Manqing Zhang, Zhao Shi, Junzheng Chen and Xiang Chen)
3. Utilizing Source Code Embeddings to Identify Correct Patches.
(Viktor Csuvik, Dániel Horváth, Ferenc Horváth and László Vidács)
15:20-15:30 Open discussion and wrap up