1	제목(Title)	효과적인 멀티태스크 프로그램 검증을 위한 KLEE와 CBMC의 오경보 식별 성능 비교
	저자(Author)	김동우 최윤자 Dongwoo Kim Yunja Choi
	수록저널(Journal)	정보과학회논문지
	원문수록처(Citation)	VOL 48 NO. 02 PP. 0174 ~ 0182 2021. 02
2	제목(Title)	IoT 애플리케이션의 효율적인 테스팅을 위한 개발자 지원 도구
	저자(Author)	이의혁 김동우 강승우 Euihyeok Lee Dongwoo Kim Seungwoo Kang
	수록저널(Journal)	한국정보통신학회논문지
	원문수록처(Citation)	VOL 23 NO. 10 PP. 1216 ~ 1227 2019. 10
3	제목(Title)	우선순위 기반 멀티태스크 프로그램의 API 호출 안전성 검증을 위한 모델 기반 오경보 식별 기법
	저자(Author)	김동우 최윤자 Dongwoo Kim Yunja Choi
	수록저널(Journal)	정보과학회논문지
	원문수록처(Citation)	VOL 46 NO. 10 PP. 1035 ~ 1043 2019. 10
4	제목(Title)	Alarm과 ISR을 고려한 IoT 디바이스 제어 소프트웨어의 API 호출 제약사항 검증
	저자(Author)	김동우 최윤자 Dongwoo Kim Yunja Choi
	수록저널(Journal)	정보과학회논문지
	원문수록처(Citation)	VOL 45 NO. 12 PP. 1269 ~ 1278 2018. 12
5	제목(Title)	차량전장용 소프트웨어의 API 제약사항 위배여부 탐지를 위한 실행경로 탐색방법과 모델검증 방법의 비교
	저자(Author)	김동우 최윤자 Dongwoo Kim Yunja Choi
	수록저널(Journal)	정보처리학회논문지 소프트웨어 및 데이터 공학
	원문수록처(Citation)	VOL 05 NO. 12 PP. 0615 ~ 0622 2016. 12
6	제목(Title)	CodeAnt : 소프트웨어 검증 효율 향상을 위한 코드 슬라이싱 도구
	저자(Author)	박민규 김동우 최윤자 Mingyu Park Dongwoo Kim Yunja Choi
	수록저널(Journal)	정보처리학회논문지 소프트웨어 및 데이터 공학
	원문수록처(Citation)	VOL 04 NO. 01 PP. 0001 ~ 0008 2015. 01