Write a Blog >>
ICPC 2021
Tue 18 - Thu 20 May 2021
co-located with ICSE 2021
Fri 21 May 2021 02:00 - 02:10 at ICPC Main Room - Inferring code evolution Chair(s): Shinpei Hayashi

Misconfigurations have become the dominant causes of software failures in recent years, drawing tremendous attention for their increasing prevalence and severity. Configuration constraints can preemptively avoid misconfiguration by defining the conditions that configuration options should satisfy. Documentation is the main source of configuration constraints, but it might be incomplete or inconsistent with the source code. In this regard, prior researches have focused on obtaining configuration constraints from software source code through static analysis. However, the difficulty in pointer analysis and context comprehension prevents them from collecting accurate and comprehensive constraints. In this paper, we observed that software logs often contain configuration constraints. We conducted an empirical study and summarized patterns of configuration-related log messages. Guided by the study, we designed and implemented ConfInLog, a static tool to infer configuration constraints from log messages. ConfInLog first selects configuration-related log messages from source code by using the summarized patterns, then infers constraints from log messages based on the summarized natural language patterns. To evaluate the effectiveness of ConfInLog, we applied our tool on seven popular open-source software systems. ConfInLog successfully inferred 22~163 constraints, in which 59.5%~61.6% could not be inferred by the state-of-the-art work. Finally, we submitted 67 documentation patches regarding the constraints inferred by ConfInLog. The constraints in 29 patches have been confirmed by the developers, among which 10 patches have been accepted.

Fri 21 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

02:00 - 02:40
Inferring code evolutionResearch at ICPC Main Room
Chair(s): Shinpei HayashiTokyo Institute of Technology
02:00
10m
Paper
ConfInLog: Leveraging Software Logs to Infer Configuration ConstraintsICPC 2021 Honorable Mention
Research
Shulin ZhouNational University of Defense Technology, Xiaodong LiuNational University of Defense Technology, Shanshan LiNational University of Defense Technology, Zhouyang JiaNational University of Defense Technology, Yuanliang ZhangNational University of Defense Technology, Teng WangNational University of Defense Technology, China, Wang LiNational University of Defense Technology, Xiangke LiaoNational University of Defense Technology, China
Pre-print
02:10
10m
Paper
Using Grammar Patterns to Interpret Test Method Name Evolution
Research
Anthony PerumaRochester Institute of Technology, Emily Hu, Jiajun Chen, Eman Abdullah AlOmarRochester Institute of Technology, USA, Mohamed Wiem MkaouerRochester Institute of Technology, Christian D. NewmanRochester Institute of Technology
Pre-print Media Attached
02:20
10m
Paper
Keywords Guided Method Name Generation
Research
Pre-print
02:30
10m
Paper
Automated Comment Update: How Far are We?
Research
Bo LinNational University of Defense Technology, Shangwen WangNational University of Defense Technology, Kui LiuNanjing University of Aeronautics and Astronautics, Xiaoguang MaoNational University of Defense Technology, Tegawendé F. BissyandéSnT, University of Luxembourg
Pre-print Media Attached

Information for Participants
Info for ICPC Main Room: