논리 프로그래밍 (Logic programming) 교육을 위한 자동 피드백 도구는 학생들이 실제로 저지르는 실수를 반영하는 현실적인 버그 데이터셋에 의존합니다. 그러나 Prolog를 위한 기존의 변이 테스트 (Mutation testing) 프레임워크는 모든 변이를 동일한 확률로 취급하여, 강의실의 현실과는 동떨어진 합성 결함 (Synthetic faults)을 생성합니다. 본 연구에서는 265명의 학부생으로부터 수집한 7,201개의 Prolog 제출물을 대상으로 경험적 연구를 수행하였으며, 200개의 버그 수정 제출물을 수동으로 분류하여 학생 버그에 대한 세밀한 분류 체계 (Taxonomy)를 도출했습니다. 이 분류 체계를 바탕으로, 관찰된 오류 분포에 따라 17개의 연산자 (Operators)에 가중치를 부여한 데이터 기반 변이 도구인 LogMorph를 개발했습니다. LogMorph는 추상 구문 트리 (Abstract syntax tree) 상에서 유효한 변이 지점을 열거하고, 연산자를 비례적으로 샘플링하며, 결함을 주입합니다. 새로운 코드 조각이 필요한 경우 SMT 기반 합성기 (SMT-based synthesizer)에 위임하며, 각 변이체 (Mutant)를 참조 테스트 스위트 (Reference test suite)를 통해 검증합니다. 16,000개의 생성된 변이체를 평가한 결과, 합성된 오류 분포가 학생 분포와 밀접하게 일치함을 확인하였으며, 대부분의 버그 카테고리가 2퍼센트 포인트 이내의 오차로 일치했습니다. 우리는 cut 관련 변이와 합성기가 생성한 코드를 잔여 편차의 주요 원인으로 식별하였으며, SMT 백엔드와 학생 코드로 미세 조정된 (Fine-tuned) 언어 모델을 결합함으로써 현실성을 더욱 향상시킬 수 있는 방안을 제시합니다.