SANER 2025
Tue 4 - Fri 7 March 2025 Montréal, Québec, Canada
Thu 6 Mar 2025 16:28 - 16:35 at M-2401 - Short Paper & Posters Chair(s): Leuson Da Silva

Patch overfitting is a well-known open challenge for automated program repair (APR), which results from having insufficient or incomplete specifications to validate the generated patches. We argue that part of the patch overfitting challenge is caused by not properly taking termination issues into account during patch validation. As such, our goal here is to improve APR process by proposing a new approach that is dedicated to more complete patch correctness validation for APR.

The paper is divided into two parts: In the first part, we study the correlation between the APR problem and the program termination problem, demonstrating how a variety of program defects (e.g., violation of liveness properties, which causes the program to run indefinitely, and memory safety properties, which lead the program to crash) can be handled by fixing the termination of the program. In the second part, we present a novel patch validation approach that extends the standard test-based validation strategy by verifying two additional oracles: (i) oracles for checking the absence of the erroneous behavior caused by the bug being fixed, and (ii) oracles for checking the successful or normal termination of the patched program. We demonstrate how to validate the two oracles using contemporary termination provers and program verifiers. We also demonstrate how to effectively use the new validation oracles while taking into account the type of bug being repaired and the structure of the defected program.

Thu 6 Mar

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

16:00 - 17:00
Short Paper & PostersShort Papers and Posters Track at M-2401
Chair(s): Leuson Da Silva Polytechnique Montreal
16:00
7m
Talk
An Exploratory Study on the Impact of Change-proneness as a Metric in Black-box Test Suite Minimization
Short Papers and Posters Track
Md Siam University of Dhaka, Mridha Md. Nafis Fuad University of Dhaka, Kazi Sakib
Media Attached
16:07
7m
Talk
Evaluating Multi-Modal LLMs for Automatically Recognizing Semantic Elements in UML Use Case Diagram Images
Short Papers and Posters Track
16:14
7m
Talk
MultiMal: Multimodal Fusion Combining Graph and Entropy Features for Malware Detection
Short Papers and Posters Track
He Kaiyan Shanghai Jiao Tong University, Haining Lu Shanghai Jiao Tong University, Dawu Gu Shanghai Jiao Tong University
16:21
7m
Talk
Reduce before you repair: advantages of combining program slicing with automated program repair
Short Papers and Posters Track
Omar I. Al Bataineh Gran Sasso Science Institute (GSSI)
File Attached
16:28
7m
Talk
Towards Developing Effective Oracles to Reduce Patch Overfitting in Automated Program Repair
Short Papers and Posters Track
Omar I. Al Bataineh Gran Sasso Science Institute (GSSI)
File Attached
16:35
7m
Talk
Towards Using LLMs in the Reverse Engineering of Software Systems to Object Constraint Language
Short Papers and Posters Track
Hanan Abdulwahab Siala PhD Student in King's College London, Dr Kevin Lano King's College London
Media Attached File Attached
:
:
:
: