Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022
Tue 10 May 2022 13:15 - 13:20 at ICSE room 5-odd hours - Validation and Verification 7 Chair(s): Guido Salvaneschi
Wed 11 May 2022 20:20 - 20:25 at ICSE room 3-even hours - Validation and Verification 5 Chair(s): Saba Alimadadi

Program repair is an integral part of every software system’s lifecycle but can be extremely challenging. To date, various automated program repair (APR) techniques have been proposed to reduce manual debugging efforts. However, given a real-world buggy program, a typical APR technique can generate a large number of patches, each of which needs to be validated against the original test suite which incurs extremely high computation costs. Although existing APR techniques have already leveraged various static and/or dynamic information to find the desired patches faster, they are still rather costly. In this work, we propose SeAPR (Self-Boosted Automated Program Repair), the first general-purpose technique to leverage the earlier patch execution information during APR to directly boost existing APR techniques themselves on-the-fly. Our basic intuition is that patches similar to earlier high-quality/low-quality patches should be promoted/degraded to speed up the detection of the desired patches. The experimental study on 13 state-of-the-art APR tools demonstrates that, overall, SeAPR can substantially reduce the number of patch executions with negligible overhead. Our study also investigates the impact of various configurations on SeAPR. Lastly, our study demonstrates that SeAPR can even leverage the patch execution information from other APR tools for the same buggy program to further boost the current APR tool.

Tue 10 May

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

13:00 - 14:00
Validation and Verification 7Journal-First Papers / Technical Track / SEIP - Software Engineering in Practice at ICSE room 5-odd hours
Chair(s): Guido Salvaneschi University of St. Gallen
13:00
5m
Talk
Control and Discovery of Environment Behaviour
Journal-First Papers
Maureen Keegan Intercom, Nicolás D’Ippolito Dept. of Computer Science FCEyN, University of Buenos Aires, Víctor Braberman ICC (UBA-CONICET), Nir Piterman University of Gothenberg, Sebastian Uchitel Universidad de Buenos Aires / Imperial College
Link to publication DOI Pre-print Media Attached
13:05
5m
Talk
Unreliable Test Infrastructures in Automotive Testing Setups
SEIP - Software Engineering in Practice
Claudius Jordan Technical University of Munich, Philipp Foth Technical University of Munich, Alexander Pretschner TU Munich, Matthias Fruth TraceTronic GmbH
Pre-print Media Attached
13:10
5m
Talk
Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks
Technical Track
Ellen Arteca Northeastern University, Sebastian Harner University of Stuttgart, Michael Pradel University of Stuttgart, Frank Tip Northeastern University
Pre-print Media Attached
13:15
5m
Talk
Towards Boosting Patch Execution On-the-Fly
Technical Track
Samuel Benton The University of Texas at Dallas, Yuntong Xie Tsinghua University, Lan Lu SUSTech, Mengshi Zhang Meta, Xia Li Kennesaw State University, Lingming Zhang University of Illinois at Urbana-Champaign
Media Attached File Attached
13:20
5m
Talk
Diversity-Driven Automated Formal VerificationDistinguished Paper Award
Technical Track
Emily First University of Massachusetts Amherst, Yuriy Brun University of Massachusetts
DOI Pre-print Media Attached
13:25
5m
Talk
Nalin: Learning from Runtime Behavior to Find Name-Value Inconsistencies
Technical Track
Jibesh Patra University of Stuttgart, Michael Pradel University of Stuttgart
Pre-print Media Attached

Wed 11 May

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

20:00 - 21:00
Validation and Verification 5Technical Track / SEIP - Software Engineering in Practice / Journal-First Papers at ICSE room 3-even hours
Chair(s): Saba Alimadadi Simon Fraser University
20:00
5m
Talk
Control and Discovery of Environment Behaviour
Journal-First Papers
Maureen Keegan Intercom, Nicolás D’Ippolito Dept. of Computer Science FCEyN, University of Buenos Aires, Víctor Braberman ICC (UBA-CONICET), Nir Piterman University of Gothenberg, Sebastian Uchitel Universidad de Buenos Aires / Imperial College
Link to publication DOI Pre-print Media Attached
20:05
5m
Talk
How Does Code Reviewing Feedback Evolve? A Longitudinal Study at Dell EMC
SEIP - Software Engineering in Practice
Ruiyin Wen McGill University, Maxime Lamothe Polytechnique Montréal, Shane McIntosh University of Waterloo
Pre-print Media Attached
20:10
5m
Talk
Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks
Technical Track
Ellen Arteca Northeastern University, Sebastian Harner University of Stuttgart, Michael Pradel University of Stuttgart, Frank Tip Northeastern University
Pre-print Media Attached
20:15
5m
Talk
ExAIS: Executable AI Semantics
Technical Track
Richard Schumi Singapore Management University, Jun Sun Singapore Management University
Pre-print Media Attached
20:20
5m
Talk
Towards Boosting Patch Execution On-the-Fly
Technical Track
Samuel Benton The University of Texas at Dallas, Yuntong Xie Tsinghua University, Lan Lu SUSTech, Mengshi Zhang Meta, Xia Li Kennesaw State University, Lingming Zhang University of Illinois at Urbana-Champaign
Media Attached File Attached
20:25
5m
Talk
Diversity-Driven Automated Formal VerificationDistinguished Paper Award
Technical Track
Emily First University of Massachusetts Amherst, Yuriy Brun University of Massachusetts
DOI Pre-print Media Attached

Information for Participants
Tue 10 May 2022 13:00 - 14:00 at ICSE room 5-odd hours - Validation and Verification 7 Chair(s): Guido Salvaneschi
Info for room ICSE room 5-odd hours:

Click here to go to the room on Midspace

Wed 11 May 2022 20:00 - 21:00 at ICSE room 3-even hours - Validation and Verification 5 Chair(s): Saba Alimadadi
Info for room ICSE room 3-even hours:

Click here to go to the room on Midspace