김황욱

메시지 탐지 기법을 이용한 모델 기반 결함 탐지를 위한 서비스 실행 모델 생성 방법

조영도, 박수용, 김황욱, 2011 .