Institutul de Matematică şi Informatică "Vladimir Andrunachievici"
Universitatea de Stat din MoldovaRO EN
Correcting Instruction Expression Logic Errors with GenExp: A Genetic Programming Solution
Authors: Mohammed Bekkouche
Keywords: error correction, instruction expression, plausible patch, crossover, mutation.
– 0.37 Mb
Keywords: error correction, instruction expression, plausible patch, crossover, mutation.
Abstract
Correcting logical errors in a program is not simple even with the availability of an error locating tool. In this article, we introduce GenExp, a genetic programming approach to automate the task of repairing instruction expressions from logical errors. \correction{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 \correction{we} obtain one that \correction{corrects} the input program. \correction{The search space is exponentially large, making exhaustive methods inefficient.} \correction{Therefore, we utilize a genetic programming meta-heuristic that organizes 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 \correction{like} ASTOR. Although our tool is slower than ASTOR, it \correction{provides} greater precision in detecting plausible repairs, making it a suitable option for users who prioritize accuracy over speed.ORCID: https://orcid.org/0000-0002-8305-0542
LabRI-SBA Laboratory, Ecole Superieure en Informatique,
Sidi Bel Abbes, Algeria
BP. 73, Bureau de poste EL WIAM, Sidi Bel Abbes, 22016, Algeria
E-mail:
LabRI-SBA Laboratory, Ecole Superieure en Informatique,
Sidi Bel Abbes, Algeria
BP. 73, Bureau de poste EL WIAM, Sidi Bel Abbes, 22016, Algeria
E-mail:
DOI
https://doi.org/10.56415/csjm.v31.12Fulltext
– 0.37 Mb
Contents
- Identifying key players in a network of child exploitation websites using Principal Component Analysis
- Total Italian domatic number of graphs
- Comprehensive Performance Study of Hashing Functions
- Deep learning-based software for detecting population density of Antarctic birds
- Correcting Instruction Expression Logic Errors with GenExp: A Genetic Programming Solution
- An approach to Augmented Reality Classification and an example of its usage for application development with VAK learning styles Markers
- PN2Maude: An automatic tool to generate Maude specification for Petri net models
