자동화된 기존 테스트 케이스로부터 메타모픽 관계 합성

기존 테스트 케이스에 내재된 도메인 지식을 활용하여 메타모픽 관계를 자동으로 합성할 수 있다.