언어 모델이 코드 실행에 대해 추론하도록 가르치는 것은 중요한 과제이며, 기존의 Chain-of-Thought (CoT) 프롬프팅은 표면적으로 그럴듯하지만 논리적으로 결함이 있는 추론 패턴을 학습하는 문제가 있었습니다. 본 논문은 코드의 동적 동작을 캡처하고, 실행 흔적을 자연어로 서술하여 실행에 기반한 CoT 생성을 제안합니다. 이 방법은 모든 추론 단계가 프로그램의 실제 계산을 반영하도록 보장하여 논리적 환각을 제거합니다. CruxEval, LiveCodeBench-Exec, CruxEval-Input, HumanEval을 사용하여 제안된 방법론을 평가했으며, 바이-방향 추적 기반 데이터로 훈련된 모델이 성능을 향상시켰습니다.