	제목(Title)	효과적인 멀티태스크 프로그램 검증을 위한 KLEE와 CBMC의 오경보 식별 성능 비교
	저자(Author)	김동우 최윤자 Dongwoo Kim Yunja Choi
	수록저널(Journal)	정보과학회논문지
	원문수록처(Citation)	VOL 48 NO. 02 PP. 0174 ~ 0182 2021. 02
	제목(Title)	우선순위 기반 멀티태스크 프로그램의 API 호출 안전성 검증을 위한 모델 기반 오경보 식별 기법
	저자(Author)	김동우 최윤자 Dongwoo Kim Yunja Choi
	수록저널(Journal)	정보과학회논문지
	원문수록처(Citation)	VOL 46 NO. 10 PP. 1035 ~ 1043 2019. 10

영문 논문지 (1)

	제목(Title)	Evaluation of an Abstract Component Model for Embedded Systems Development
	저자(Author)	hristian Bunse Yunja Choi Hans Gerhard Gross
	수록저널(Journal)	Journal of Information Processing Systems
	원문수록처(Citation)	VOL 08 NO. 04 PP. 0539 ~ 0554 2012. 12

학술대회 프로시딩 (16)

	제목(Title)	프로그램 합성 기법을 이용한 임베디드 소프트웨어의 모델 체킹 효율성 향상을 위한 사례 연구
	저자(Author)	김요엘 최윤자 Yoel Kim Yunja Choi
	수록저널(Journal)
	원문수록처(Citation)	VOL 48 NO. 02 PP. 0173 ~ 0175 2021. 12
	제목(Title)	자동화 도구의 강건성을 위한 모델 기반 테스트 생성 기법
	저자(Author)	Dongyeong Kim Yunja Choi 김동영 최윤자
	수록저널(Journal)	한국정보과학회 2020 한국컴퓨터종합학술대회 (KCC 2020)
	원문수록처(Citation)	VOL 47 NO. 01 PP. 0260 ~ 0262 2020. 07