	효과적인 모델 기반 안드로이드 GUI 테스팅을 위한 GUI 상태 비교 기법
	백영민 홍광의 배두환 Youngmin Baek Gwangui Hong Doo-hwan Bae
	정보과학회논문지, VOL 42 NO. 11 PP. 1386 ~ 1396 2015. 11
	실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법 및 사례연구
	홍광의 지은경 서동원 배두환 Gwangui Hong Eunkyong Jee Dongwon Seo Doohwan Bae
	한국정보과학회 논문지 B - 소프트웨어 및 응용, VOL 40 NO. 12 PP. 0764 ~ 0773 2013. 12

학술대회 프로시딩 (4)

	효과적인 모델 기반 안드로이드 GUI 테스팅을 위한 동일 화면 비교 기법
	백영민 홍광의 이정현 배두환 Youngmin Baek Gwangui Hong Cheonghyun Lee Doo-Hwan Bae
	한국정보과학회 2015 한국컴퓨터종합학술대회, VOL 42 NO. 01 PP. 0549 ~ 0551 2015. 06
	SCADE를 이용한 멀티 에이전트 시스템 설계 사례연구 및 분석
	채철우 신동환 지은경 홍광의 배두환 Cheolwoo Chae Donghwan Shin Eunkyoung Jee Gwangui Hong Doo-Hwan Bae
	한국정보과학회 2014년 제41회 정기총회 및 동계학술발표회, VOL 41 NO. 02 PP. 0399 ~ 0401 2014. 12