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

Repairing a large-scale buggy program using current automated program repair (APR) approaches can be a difficult time-consuming operation that requires significant computational resources. We describe a program repair framework that effectively handles large-scale buggy programs of industrial complexity. The framework exploits program reduction in the form of program slicing to eliminate parts of the code irrelevant to the bug being repaired without adversely affecting the capability of the repair system in producing correct patches.

Observation-based slicing (ORBS) is a recently introduced, language-independent slicing technique that shows a good effectiveness in a wide range of applications. In this work, we show how ORBS can be effectively integrated with APR to improve all aspects of the repair process including the fault localisation step, patch generation step, and patch validation step. The presented repair framework indeed enhances the capability of APR by reducing the execution cost of a test suite and the search cost for the appropriate faulty statement corresponding to the bug being repair. Our empirical results on the widely used Defects4J dataset reveal that a substantial improvement in performance can be obtained without any degradation in repair quality. The paper concludes with a set of advice for successfully employing program reduction techniques in the context of APR.

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
:
:
:
: