Can ChatGPT Correct Code Based on Logical Steps? - Nao Souma; Waka Ito; Momoka Obara; Takako Kawaguchi; Yuka Akinobu; Toshiyuki Kurabayashi; Haruto Tanno; Kimio Kuramitsu (APSEC, 2023)