Evaluating Partial Correctness of Programs in Automated Program Repair
Yusaku Ito, Hironori Washizaki, Kazunori Sakamoto, Yoshiaki Fukazawa · 2021 IEEE 10th Global Conference on Consumer Electronics (GCCE) · 2021
Genetic programming-based automated program repair is actively studied as a bug fixing method. The existing methods evaluates randomly generated solution candidates using the success rate of test suites. However, the candidates are sometimes evaluated inaccurately. This study proposes a method to more appropriately judge the correctness of program candidates. The proposed method verifies the correctness of the intermediate calculation process using statements to check the predicted conditions for internal variables. In an experiment involving the Defects4J dataset, the execution time was reduced in 15 of the 23 bugs.