Yusaku Ito, Hironori Washizaki, and Yoshiaki Fukazawa, “Fitness Function Using Postconditions for Automated Program Repair,” 2023 3rd IEEE International Conference on Software Engineering and Artificial Intelligence (SEAI), Xiamen, China (hybrid), June 16-18, 2023.