맹상우, 박홍성, “로봇용 소프트웨어 컴포넌트에서 비정상 천이를 포함한 상태 천이 시퀀스용 테스트 스윗 생성 기법,” 제어로봇시스템학회, 2010.8, p.786-793