| 2004 | 조용선 | 숭실대학교 | | |
| 2005 | 유준범 | 한국과학기술원 | | |
| 2006 | 전상욱 | 한국과학기술원 | | |
| 2007 | 이순복, 김진우 | 고려대학교 | | |
| 2008 | 지은경 | 한국과학기술원 | | 정보과학회논문지 - 소프트웨어 및 응용 35(3) |
| 함수 블록 다이어그램으로 명세된 PLC 프로그램에 대한 구조적 테스팅 기법 |
| 2009 | 박사천 | 경기대학교 | 권기현 | 정보과학회논문지 - 소프트웨어 및 응용 35(11) |
| 이진 기수 조건에서 인접성 표현을 위한 최적화된 CNF 변환 |
| 2010 | 편호림 | 충북대학교 | 홍장의 | 정보과학회논문지 - 소프트웨어 및 응용 37(4) |
| UML 2.0을 사용한 모델 기반의 임베디드 소프트웨어 소모 전력 분석을 위한 MARTE Profile의 확장 |
| 2011 | 이현민 | 숭실대학교 | 김수동 | 정보과학회논문지 - 소프트웨어 및 응용 37(11) |
| 효율적인 서비스 모니터링 프레임워크 및 전송패턴 |
| 2012 | 최진호 | 한국과학기술원 | 배두환 | |
| 2013 | 최현재 | 부산대학교 | 채흥석 | |
| 2014 | 없음 | | | |
| 2015 | 김태현 | 한국과학기술원 | 백종문 | |
| 2016 | 송광식 | 고려대학교 | 차성덕 | |
| 2017 | 장종인 | 한국과학기술원 | 백종문 | |
| 2018 | 박현주 | 아주대학교 | 이석원 | |
| 2019 | 김동우 | 경북대학교 | 최윤자 | 정보과학회논문지 46(10) |
| 우선순위 기반 멀티태스크 프로그램의 API 호출 안전성 검증을 위한 모델 기반 오경보 식별 기법 |
| 2020 | 문형철 | 한국과학기술원 | 고인영 | 정보과학회논문지 46(7) |
| 서비스 기반 V2X 소프트웨어 환경에서의 서비스 소비 품질 최적화 방법 |
| 2021 | 전주영 | 한동대학교 | 홍신 | 정보과학회논문지 47(9) |
| 커버리지 변화 정보를 활용한 코드 누락 결함에 대한 뮤테이션 기반 결함 위치 식별 기법의 성능 향상 |
| 2022 | 김동우 | 경북대학교 | 최윤자 | 정보과학회논문지 48(2) |
| 효과적인 멀티태스크 프로그램 검증을 위한 KLEE와 CBMC의 오경보 식별 성능 비교 |
| 2023 | 연주은 | 포항공대 | 배경민 | 정보과학회논문지 49(11) |
| 심층 신경망의 효과적인 정형 검증을 위한 계층별 요약 기법 |
