Correcting Instruction Expression Logic Errors with GenExp: A Genetic Programming Solution

Created by W.Langdon from gp-bibliography.bib Revision:1.7778

@Article{DBLP:journals/csjm/Bekkouche23,

• author = "Mohammed Bekkouche",
• title = "Correcting Instruction Expression Logic Errors with {GenExp}: A Genetic Programming Solution",
• journal = "Computer Science Journal of Moldova",
• volume = "31",
• number = "2",
• pages = "217--247",
• year = "2023",
• keywords = "genetic algorithms, genetic programming, genetic improvement, APR, error correction, instruction expression, plausible patch, crossover, mutation",
• timestamp = "Tue, 22 Aug 2023 01:00:00 +0200",
• biburl = "https://dblp.org/rec/journals/csjm/Bekkouche23.bib",
• bibsource = "dblp computer science bibliography, https://dblp.org",
• URL = "http://www.math.md/publications/csjm/issues/v31-n2/13785/",
• DOI = "doi:10.56415/csjm.v31.12",
• size = "31 pages",
• abstract = "Correcting logical errors in a program is not simple even with the availability of an error locating tool. we introduce GenExp, a genetic programming approach to automate the task of repairing instruction expressions from logical errors. Starting from an error location specified by the programmer, we search for a replacement instruction that passes all test cases. Specifically, we generate expressions that will substitute the selected instruction expression until we obtain one that corrects the input program. The search space is exponentially large, making exhaustive methods inefficient. Therefore, we use a genetic programming meta-heuristic that organises the search process into stages, with each stage producing a group of individuals. The results showed that our approach can find at least one plausible patch for almost all cases considered in experiments and outperforms a notable state-of-the-art error repair approach like ASTOR. Although our tool is slower than ASTOR, it provides greater precision in detecting plausible repairs, making it a suitable option for users who prioritise accuracy over speed.",

}

Genetic Programming entries for Mohammed Bekkouche

Citations