Cleveland, Ohio USA 概要: Automated program repair (in short, APR) techniques that utilize genetic algorithm (in short, GA) have a capability of repairing programs even if the programs require multiple code fragments to be changed. Those techniques repeat program generation, program evaluation, and program selection until a generated program passes all given test cases. Those techniques occasionally generate a large number of programs before a repaired program is generated. Thus, it is difficult to understand how an input program is evolved in the loop processing of genetic algorithm. In this paper, we are inspired by genealogy and propose a new technique to visualize program evolution in the process of automated program repair. We have implemented the proposed technique as a software tool for kGenProg, which is one of GA-based APR tools. We evaluated the proposed technique with the developers of kGenProg. In the evaluation, the developers found latent issues in kGenProg’s processing and came up with new ideas to improve program generation. From those results, we conclude that our visualization is useful to understand program evolution in the APR process. タグ: code, evolutionarily, fixed, genealogy, how, is, program, repair?, visualizing

@inproceedings{YuyaTomida2019,
  author = {Yuya Tomida and Yoshiki Higo and Shinsuke Matsumoto and Shinji Kusumoto},
  title = {Visualizing Code Genealogy: How Code is Evolutionarily Fixed in Program Repair?},
  booktitle = {The seventh IEEE Working Conference on Software Visualization (VISSOFT)},
  pages = {23--27},
  year = {2019},
  month = {sep},
  url = {https://conferences.computer.org/icsme/2019/pdfs/VISSOFT2019-oiFVGCPeZjO7ag702zOM9/131GTwny13tBREaFZne0fw/5DrbknBND4TLMEFslYfmXp.pdf}
}