본 발명 에서 제안 하 는 하이브리드 티처 는 종래 의 RSO 방식 의 티처 와 W - Method 방식 의 티처 를 혼용 하 는 방식 이 다 . 다만 , 종래 의 W - Method 방식 의 티처 를 조금 더 개선 해서 그 효율 을 높였 다 . 도 7 a 를 참고 하 면 RSO 방식 의 티처 나 W - Method 방식 의 티처 와 유사 하 게 학습 자 가 추론 한 유한 상태 기계 를 검증 하 기 위해서 테스트 쿼리 를 생성 하 고 , 이 를 SUT 에 질의 하 여 응답 을 비교 하 고 , " 최종 적 으로 "" yes "" 또는 반증 을 응답 한다 . "