블랙박스 테스팅을 위한 함수 추상화 기반의 테스트 케이스 생성기법2013년 11월 1일 · 약 1분류호동이우진담당교수제40회 한국정보처리학회 추계학술발표대회 논문집, 제20권 제2호, 2013년 11월