졸업일 2017. 02.
석사학위논문 안전성 제약사항을 이용한 안전성 테스트 케이스 생성 방법 (A technique for safety test case generation using safety constraint)