<aside>
💡
2026학년도 일반대학원 전기 모집을 통해 소프트웨어개발검증 연구실(SDEV lab)에서 석사학위 과정(석사, 학석사통합), 박사학위과정(박사, 석박사통합)으로 공부할 학생을 모집합니다.
- 모집인원: 1~2명
- 자격조건: C/C++ 프로그래밍 경험, 운영체제 및 컴퓨터 시스템에 대한 이해, 소프트웨어 분석 및 검증 기술에 대한 관심, 영어 공부에 대한 의지
- 지원방법: 2026년 1월 9일까지 [email protected]으로 연락주시기 바랍니다. 상담을 통해 진학에 대해 안내드리겠습니다.
- 2026년 전기 일반대학원 2차 원서접수가 1월 둘째 주에 있을 예정
</aside>
SW개발검증 연구실(SDEV: Software Development and Verification Methodologies Lab)
- 우리 사회의 안전을 위협하는 소프트웨어 불량 사고를 막기 위해 소프트웨어를 개발하고 검증하는 소프트웨어 엔지니어링 현상과 소프트웨어 엔지니어링의 밑바탕이 되는 컴퓨팅 원리를 탐구합니다.
- 안전하고 효율적인 소프트웨어 엔지니어링을 위한 믿을 수 있는 소프트웨어 개발 기술/도구, 소프트웨어 검증 기술/도구, 소프트웨어 개발 방법론, 소프트웨어 교육법을 만듭니다.
- 인공지능 기술을 바탕으로 한 새로운 소프트웨어 엔지니어링 세상을 열어 갈 소프트웨어 품질 엔지니어, 소프트웨어 분석 전문가, 소프트웨어 엔지니어링 연구자를 육성합니다.
연구 주제
- SW 테스팅 자동화
- 테스트 입력 데이터 생성: 소스코드만 주면 그 프로그램에서 오류(크래시)를 일으키는 입력을 자동으로 생성
- GenAI 기반 Agent SW 자동 테스팅: 전통적인 프로그램 분석으로 접근이 어려운 GenAI 기반 프로그램의 오류와 이상동작을 효과적으로 확인, 검증하는 기술
- SW 엔지니어링 지능화
- 지능형 디버깅 기술: 오류 원인을 찾고 수정하는 디버깅 과정을 자동화
- 자연어 기반 SW개발 기술: 인공지능 언어 모델을 활용해 사람이 작성한 자연어 문서와 코드 사이의 상관 관계를 파악할 수 있지 않을까?
- 시스템 SW 테스팅 및 분석
- 임베디드 제어기 SW 검증: 임베디드 시스템에 내장된 제어기 소프트웨어를 효과적으로 테스팅하는 기술 개발
- 멀티쓰레드 프로그램 분석 및 테스팅: 다양한 쓰레드 스케쥴링 경우의 수를 자동으로 통제하면서 data race, deadlock 결함 검출
연구 소개
연구실 소개
- 석사과정 4명 (2026년 1월 기준)
- 대학원 졸업생
- 박수현(’25년 2월 한동대 석사 졸업): 현재 SuresoftTech Inc (2023년 KSC 최우수논문상, 2025년 소프트웨어공학소사이어티 우수논문상)
- 임성빈(’25년 2월 한동대 석사 졸업)
- 김지웅(’21년 8월 한동대 석사, ‘26년 2월 충북대학교 박사수료) (2023년 한동대 BK21 우수연구상 수상)
- 유한영(’22년 2월 한동대 석사): 현재 SAP Labs Korea (2022년 한동대 석사졸업논문상)
- 전주영(’21년 2월 한동대 석사): 현재 현대MOBIS (2021년 한동대 석사졸업논문상, 2019년 소프트웨어공학소사이티 우수논문상 등)
- 최한솔(’21년 2월 한동대 석사): 현재 SuresoftTech Inc. (2021년 한동대 석사졸업논문상, 2020년 KCSE 우수논문상 등)