SDEV 연구실 학부 연구 인턴 모집 안내

2024-05-07

SDEV 연구실 소개

소프트웨어 개발검증 연구실(Software Development and Verification Methodologies Lab; SDEV lab)은 오류 없는 소프트웨어 개발을 위해 개발자가 코드 작성, 테스팅, 디버깅을 밀착할 수 있도록 돕는 지능형 소프트웨어 분석도구와 소프트웨어 개발방법론을 연구개발하고 있습니다. 우리 연구실에 대한 정보는 아래 사이트에서 더 확인할 수 있습니다:

• 연구실 홈페이지 [link]
• 연구 관련 동영상 [link]
• 연구실 발표 논문 [link]
  • 우리말 논문 모음 [link]

Google Drive의 링크에 접근 하기 위해서는 충북대 Google 로그인(ID@chungbuk.ac.kr Google 메일 로그인)이 필요하니, 먼저 로그인 한 후 링크를 누르시기 바랍니다.

학부 연구 인턴 모집

우리 연구실에서 진행하는 연구 프로젝트에 참여할 학부 연구 인턴을 상시 모집합니다. 학부 연구 인턴으로 참여가 가능한 연구 주제는 다음과 같으며, 각 주제에 대한 추가적인 정보는 링크의 Google Doc에서 보실 수 있습니다(접근을 위해서 충북대 Google 로그인이 필요합니다):

• 프로젝트 변경 이력을 활용한 Greybox Fuzzing 성능 향상 [link]
• 프로그램 변경 이력으로부터 MISRA 코딩규칙 위반 관련 코드변경 추출 [link]
• Rust 프로그램 오류 검출을 위한 Greybox Fuzzing 기술 개발 [link]
• 프로그램 문서 정보를 바탕으로 한 SW오류 검출 기술 개발 [link]

아울러, 우리 연구실의 학부생 연구원 지도에 대한 전반적인 설명은 다음 문서에서 보실 수 있습니다:

• 학부생 연구 지도 계획 [link]

지원을 원하는 학생은 hongshin@gmail.com 으로 연락하여 면담 일정을 정하기 바랍니다. 관련하여 질문이 있는 경우도 같은 이메일 주소로 연락바랍니다.

-홍신