	클래스 연산의 선행/후행 조건에 바탕을 둔 클래스의 상태 다이어그램 자동 구성 기법
	이광민 배정호 채흥석 Lee Kwang-Min Jung Ho Bae Heung Seok Chae
	한국정보처리학회 논문지 D, VOL 16-D NO. 04 PP. 0527 ~ 0540 2009. 08
	테스트 데이터 자동 생성을 위한 적합도 평가 방법의 효율성 향상 기법
	이선열 최현재 정연지 배정호 김태호 채흥석 Sunyul Lee Hyun Jae Choi Yeon Ji Jeong Jung Ho Bae Taeho Kim Heungsuk Chae
	한국정보과학회 논문지 B - 소프트웨어 및 응용, VOL 37 NO. 12 PP. 0882 ~ 0891 2010. 12

학술대회 프로시딩 (3)

	계약 기반 클래스의 상태 기계 자동 생성 기법
	배정호 채흥석 Jung Ho Bae Heung Seok Chae
	한국정보과학회 2008 추계학술대회, VOL 35 NO. 02(A) PP. 0051 ~ 0056 2008. 10
	테스트 데이터 자동 생성에 적용된 유전알고리즘에 대한 비교
	이선열 배정호 채흥석 Sun Yul Lee Jung Ho Bae Heung Seok Chae
	한국정보과학회 한국컴퓨터종합학술대회 2009, VOL 36 NO. 1(B) PP. 0051 ~ 0056 2009. 07