FFR에서의 임계-쌍 경로를 이용한 효율적인 테스트 생성 ( Efficient Test Generation using Critical-Pair Path in FFR )