EnCus: Customizing Search Space for Automated Program Repair

Seongbin Kim, Sechang Jang, Jindae Kim, Jaechang Nam

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

The primary challenge faced by Automated Program Repair (APR) techniques in fixing buggy programs is the search space problem. To generate a patch, APR techniques must address three critical decisions: where to fix (location), how to fix (operation), and what to fix with (ingredient). In this study, we propose EnCus, a novel approach that customizes the search space of ingredients and mutation operators during patch generation. EnCus acts as an APR wingman, using an ensemble-based strategy to customize the search space. The search space is customized by extracting edit operations that are used to fix similar bug-introducing changes from existing patches. EnCus applies an ensemble of edit operations extracted from three open source project pools and three Abstract Syntax Tree (AST)-level code differencing tools. This ensemble provides complementary perspectives on the buggy context. To evaluate this approach, we integrate EnCus to an existing context-based APR tool, ConFix. Using EnCus, the extensive search space of ConFix is reduced to ten recommended patches. EnCus was evaluated on single-line Defects4J bugs, successfully generating 20 correct patches which performs comparably to state-of-the-art context-based APR techniques.

Original languageEnglish
Title of host publication2025 IEEE Conference on Software Testing, Verification and Validation, ICST 2025
EditorsAnna Rita Fasolino, Sebastiano Panichella, Aldeida Aleti, Ali Mesbah
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages618-622
Number of pages5
ISBN (Electronic)9798331508142
DOIs
StatePublished - 2025
Event18th IEEE Conference on Software Testing, Verification and Validation, ICST 2025 - Naples, Italy
Duration: 31 Mar 20254 Apr 2025

Publication series

Name2025 IEEE Conference on Software Testing, Verification and Validation, ICST 2025

Conference

Conference18th IEEE Conference on Software Testing, Verification and Validation, ICST 2025
Country/TerritoryItaly
CityNaples
Period31/03/254/04/25

Keywords

  • automatic program repair
  • code differencing
  • search space

Fingerprint

Dive into the research topics of 'EnCus: Customizing Search Space for Automated Program Repair'. Together they form a unique fingerprint.

Cite this