2024 : 12 : 14
Vahid Rafeh

Vahid Rafeh

Academic rank:
ORCID: https://orcid.org/0000-0002-2486-7384
Education: PhD.
ScopusId: 14054926800
HIndex:
Faculty:
Address: Arak University
Phone:

Research

Title
Automatic program bug fixing by focusing on finding the shortest sequence of changes
Type
JournalPaper
Keywords
Bug fxing · Graph transformation system · Model checking · Machine learning
Year
2023
Journal Artificial Intelligence Review
DOI
Researchers Leila Yousofvand ، Seyfollah Soleimani ، Vahid Rafeh ، Sajad Esfandiary

Abstract

Automatic bug repair as the last step in program repair has attracted a lot of research attention. Various ideas and techniques have been presented in this feld. Recent bug fxing techniques use machine learning and graphs to generate fxes. Despite the promising results of recent approaches, maintaining high speed and accuracy as well as recording a wide range of errors may still be a problem. In this paper, a new approach is presented in the feld of automatic bug fxing based on graphs and model checking. For this purpose, we have used the graph transformation and model checking system to create a sequence of edits and produce fxes. Then, using meta-heuristic algorithms, we have selected the best solution and fx from the generated solutions. We use the extracted graphs from the buggy JavaScript code and their corresponding bug-free ones. In evaluating the efectiveness of the proposed method, we implement it in GROOVE, which is a toolbox used to design and check graph transformation systems. Experimental results on identical dataset demonstrate that the proposed method outperforms other related methods in generating fxes. Also, this method covers a wider range of bugs compared to previous methods.