Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022

Automatic program repair (APR) regularly faces the challenge of overfitting patches - patches that pass the test suite, but do not actually address the problems when evaluated manually. Currently, overfit detection requires manual inspection or an oracle making quality control of APR an expensive task. With this work, we want to introduce properties in addition to unit tests for APR to address the problem of overfitting.

To that end, we design and implement PropR, a program repair tool for Haskell that leverages both property-based testing (via QuickCheck) and the rich type system and synthesis offered by the Haskell compiler. We compare the repair-ratio, time-to-first-patch and overfitting-ratio when using unit tests, property-based tests, and their combination. Our results show that properties lead to quicker results and have a lower overfit ratio than unit tests. Our results show that while the total number of fixes is reduced, the ratio of overfit patches greatly declines. The created overfit patches provide valuable insight into the underlying problems of the program to repair (e.g., in terms of fault localization or test quality). We consider this step towards fitter, or at least insightful, patches a critical contribution to bring APR into developer workflows.

Tue 10 May

Displayed time zone: Eastern Time (US & Canada) change

05:00 - 06:00
Search-Based Software Engineering 1Technical Track at ICSE room 2-odd hours
Chair(s): Ruchika Malhotra Delhi Technological University
05:00
5m
Talk
Efficient Online Testing for DNN-Enabled Systems using Surrogate-Assisted and Many-Objective OptimizationDistinguished Paper Award
Technical Track
Fitash Ul Haq University of Luxembourg, Donghwan Shin University of Luxembourg, Lionel Briand University of Luxembourg; University of Ottawa
Pre-print Media Attached
05:05
5m
Talk
Unleashing the Power of Compiler Intermediate Representation to Enhance Neural Program Embeddings
Technical Track
Zongjie Li The Hong Kong University of Science and Technology, Pingchuan Ma HKUST, Huaijin Wang , Shuai Wang Hong Kong University of Science and Technology, Qiyi Tang Tencent Security Keen Lab, Sen Nie Keen Security Lab, Tencent, Shi Wu Tencent Security Keen Lab
DOI Pre-print Media Attached
05:10
5m
Talk
Control Parameters Considered Harmful: Detecting Range Specification Bugs in Drone Configuration Modules via Learning-Guided Search
Technical Track
Ruidong Han Xidian University, Chao Yang Xidian University, Siqi Ma The University of New South Wales Canberra, Jianfeng Ma Xidian University, Cong Sun Xidian University, Juanru Li Shanghai Jiao Tong University, Elisa Bertino Purdue University
DOI Pre-print Media Attached
05:15
5m
Talk
Search-based Diverse Sampling from Real-world Software Product Lines
Technical Track
Yi Xiang South China University of Technology, Han Huang South China University of Technology, Yuren Zhou School of Data and Computer Science, Sun Yat-sen University, Sizhe Li South China University of Technology, Chuan Luo Beihang University, Qingwei Lin Microsoft Research, Miqing Li University of Birmingham, Xiaowei Yang South China University of Technology
DOI Pre-print Media Attached
05:20
5m
Talk
PropR: Property-Based Automatic Program Repair
Technical Track
Matthías Páll Gissurarson Chalmers University of Technology, Sweden, Leonhard Applis Delft University of Technology, Annibale Panichella Delft University of Technology, Arie van Deursen Delft University of Technology, Netherlands, Dave Sands Chalmers
DOI Pre-print Media Attached
05:25
5m
Talk
Code Search based on Context-aware Code Translation
Technical Track
Weisong Sun State Key Laboratory for Novel Software Technology, Nanjing University, Chunrong Fang Nanjing University, Yuchen Chen Nanjing University, Guanhong Tao Purdue University, USA, Tingxu Han Nanjing University, Quanjun Zhang Nanjing University
Pre-print Media Attached

Wed 11 May

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:00
Search-Based Software Engineering 3Technical Track / NIER - New Ideas and Emerging Results at ICSE room 3-odd hours
Chair(s): Mohamed Wiem Mkaouer Rochester Institute of Technology
11:00
5m
Talk
A Black Box Technique to Reduce Energy Consumption of Android Apps
NIER - New Ideas and Emerging Results
Abdul Ali Bangash University of Alberta, Canada, Karim Ali University of Alberta, Abram Hindle University of Alberta
Pre-print Media Attached
11:05
5m
Talk
CodeFill: Multi-token Code Completion by Jointly Learning from Structure and Naming Sequences
Technical Track
Maliheh Izadi Delft University of Technology, Roberta Gismondi Delft University of Technology, Georgios Gousios Endor Labs & Delft University of Technology
DOI Pre-print
11:10
5m
Talk
Fairness-aware Configuration of Machine Learning Libraries
Technical Track
Saeid Tizpaz-Niari University of Texas at El Paso, Ashish Kumar , Gang Tan Pennsylvania State University, Ashutosh Trivedi University of Colorado Boulder
DOI Pre-print Media Attached
11:15
5m
Talk
Efficient Online Testing for DNN-Enabled Systems using Surrogate-Assisted and Many-Objective OptimizationDistinguished Paper Award
Technical Track
Fitash Ul Haq University of Luxembourg, Donghwan Shin University of Luxembourg, Lionel Briand University of Luxembourg; University of Ottawa
Pre-print Media Attached
11:20
5m
Talk
PropR: Property-Based Automatic Program Repair
Technical Track
Matthías Páll Gissurarson Chalmers University of Technology, Sweden, Leonhard Applis Delft University of Technology, Annibale Panichella Delft University of Technology, Arie van Deursen Delft University of Technology, Netherlands, Dave Sands Chalmers
DOI Pre-print Media Attached

Thu 26 May

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
Papers 13: Program Repair and PerformanceTechnical Track / Journal-First Papers at Room 304+305
Chair(s): Lars Grunske Humboldt-Universität zu Berlin
11:00
5m
Talk
Trust Enhancement Issues in Program Repair
Technical Track
Yannic Noller National University of Singapore, Ridwan Salihin Shariffdeen National University of Singapore, Xiang Gao Beihang University, China, Abhik Roychoudhury National University of Singapore
Pre-print Media Attached
11:05
5m
Talk
DEAR: A Novel Deep Learning-based Approach for Automated Program Repair
Technical Track
Yi Li New Jersey Institute of Technology, Shaohua Wang New Jersey Institute of Technology, Tien N. Nguyen University of Texas at Dallas
Pre-print
11:10
5m
Talk
Neural Program Repair using Execution-based Backpropagation
Technical Track
He Ye KTH Royal Institute of Technology, Matias Martinez University of Valenciennes, Martin Monperrus KTH Royal Institute of Technology
Pre-print Media Attached
11:15
5m
Talk
PropR: Property-Based Automatic Program Repair
Technical Track
Matthías Páll Gissurarson Chalmers University of Technology, Sweden, Leonhard Applis Delft University of Technology, Annibale Panichella Delft University of Technology, Arie van Deursen Delft University of Technology, Netherlands, Dave Sands Chalmers
DOI Pre-print Media Attached
11:20
5m
Talk
Predicting unstable software benchmarks using static source code features
Journal-First Papers
Christoph Laaber Simula Research Laboratory, Mikael Basmaci University of Zurich, Pasquale Salza University of Zurich
Link to publication DOI Media Attached
11:25
5m
Talk
Using Reinforcement Learning for Load Testing of Video Games
Technical Track
Rosalia Tufano Università della Svizzera Italiana, Simone Scalabrino University of Molise, Luca Pascarella Università della Svizzera italiana (USI), Emad Aghajani Software Institute, USI Università della Svizzera italiana, Rocco Oliveto University of Molise, Gabriele Bavota Software Institute, USI Università della Svizzera italiana
Pre-print Media Attached
11:30
5m
Talk
On Debugging the Performance of Configurable Software Systems: Developer Needs and Tailored Tool Support
Technical Track
Miguel Velez Carnegie Mellon University, Pooyan Jamshidi University of South Carolina, Norbert Siegmund Leipzig University, Sven Apel Saarland University, Christian Kästner Carnegie Mellon University
Pre-print Media Attached
11:35
5m
Talk
Adaptive Performance Anomaly Detection for Online Service Systems via Pattern Sketching
Technical Track
Zhuangbin Chen Chinese University of Hong Kong, China, Jinyang Liu , Yuxin Su Sun Yat-sen University, Hongyu Zhang University of Newcastle, Xiao Ling Huawei Technologies, Yongqiang Yang Huawei Technologies, Michael Lyu The Chinese University of Hong Kong
Pre-print Media Attached

Information for Participants
Tue 10 May 2022 05:00 - 06:00 at ICSE room 2-odd hours - Search-Based Software Engineering 1 Chair(s): Ruchika Malhotra
Info for room ICSE room 2-odd hours:

Click here to go to the room on Midspace

Wed 11 May 2022 11:00 - 12:00 at ICSE room 3-odd hours - Search-Based Software Engineering 3 Chair(s): Mohamed Wiem Mkaouer
Info for room ICSE room 3-odd hours:

Click here to go to the room on Midspace