TY - GEN
T1 - Evaluating Partial Correctness of Programs in Automated Program Repair
AU - Ito, Yusaku
AU - Washizaki, Hironori
AU - Sakamoto, Kazunori
AU - Fukazawa, Yoshiaki
N1 - Publisher Copyright:
© 2021 IEEE.
PY - 2021
Y1 - 2021
N2 - 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.
AB - 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.
KW - Genetic programming
KW - Program repair
KW - Software engineering
KW - Testing
UR - http://www.scopus.com/inward/record.url?scp=85123477079&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85123477079&partnerID=8YFLogxK
U2 - 10.1109/GCCE53005.2021.9621861
DO - 10.1109/GCCE53005.2021.9621861
M3 - Conference contribution
AN - SCOPUS:85123477079
T3 - 2021 IEEE 10th Global Conference on Consumer Electronics, GCCE 2021
SP - 742
EP - 743
BT - 2021 IEEE 10th Global Conference on Consumer Electronics, GCCE 2021
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 10th IEEE Global Conference on Consumer Electronics, GCCE 2021
Y2 - 12 October 2021 through 15 October 2021
ER -