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