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).
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
The Hong Kong Polytechnic University, Hong Kong, China (csxluo@comp.polyu.edu.hk)
Concordia University, Canada (shang@encs.concordia.ca)
Yangzhou University, China (xbsun@yzu.edu.cn)
Macau University of Science and Technology, Macao, China (tazhang@must.edu.mo)
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 |
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
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
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 |