쓰레드 프로그램의 디버깅을 위한 재실행 기법