지원 대상 객체 모델에 대한 효율적인 테스팅

지원 대상 객체 모델에서 m개 이하의 요소로 지원되는지 테스팅하는 문제의 복잡한 행동을 분석하고 있다. 특히 적응형 테스팅에 대한 문제를 다루고 있다.