요런거 만들어봤구요

KAIST 소프트웨어 테스팅 자동화 · 학기 프로젝트

ASTraMut

실제 버그 수정 커밋(ManySStuBs4J + Bugs2Fix)에서 AST 수준 편집 패턴을 추출해 anti-unification으로 일반화하고, 학습된 수정을 뒤집어 mutant로 만드는 Java mutation operator 학습기. Defects4J에서 PIT 기본 연산자 대비 1.94% 낮은 mutation score를 기록하면서, API 이름 변경·조건식 재작성·블록 구조 변경처럼 PIT의 고정 연산자로는 표현할 수 없는 버그 패턴까지 다룬다.