Lab of Software

소프트웨어 연구실

관련기사 바로가기

소프트웨어는 우리가 매일 쓰는 스마트폰, 랩탑 컴퓨터, 서버 등에서 일상으로 사용되고 있습니다. 강력한 AI 기술의 등장으로 소프트웨어 제작이 점차 AI에 맡겨지고 있는 추세입니다. 이러한 변화는 소프트웨어 개발 생산성 향상을 가져오겠으나, 미래가 오로지 장미빛만은 아닙니다. 소프트웨어 개발자들의 일자리 위협이라는 사회 문제 이외에도, AI가 제작한 소프트웨어에 대한 지배력을 유지하기 위한 기술에 대한 필요성이 대두되고 있습니다. 이러한 필요성에 대응하여 본 소프트웨어 연구실(LOFT)에서는 다음과 같은 세부 기술들을 연구하고 있습니다.

• 소프트웨어 오류를 자동으로 찾아주는 기술
• 찾아진 오류를 자동으로 고쳐주는 기술
• 고쳐진 오류가 올바름을 자동으로 검증해주는 기술

이러한 기술들은 AI의 전방위적 사용으로 그 중요성이 높아지고 있습니다. 우리 연구실에서 소프트웨어를 믿고 사용할 수 있도록 하는 최신 기술들을 개발하여 안전한 AI 기반 사회를 준비하는 데에 일조하고 있습니다.

Major research field

Software testing such as fuzzing, Program analysis for program repair and verification

Desired field of research

Software testing such as fuzzing, Program analysis for program repair and verification

Research Keywords and Topics

- Trustworthy software
- Fuzzing
- Program repair
- Program verification

Research Publications
MORE

• Enhancing the Efficiency of Automated Program Repair via Greybox Analysis, Youngjae Kim, Yechan Park, Seungheon Han, and Jooyong Yi, Automated Software Engineering (ASE), 2024
•Automated Program Repair from Fuzzing Perspective, Youngjae Kim, Seungheon Han, Askar Khamit, and Jooyong Yi, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2023
•A Feasibility Study of Using Automated Program Repair for Introductory Programming Assignments, Jooyong Yi, Umair Z. Ahmed, Amey Karkare, Shin Hwei Tan, and Abhik Roychoudhury, Foundations of Software Engineering (FSE), 2017
Empirical Software Engineering (EMSE), 23(5):2948-2979, 2018.
•Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis, Sergey Mechtaev, Jooyong Yi and Abhik Roychoudhury
ACM/IEEE International Conference on Software Engineering (ICSE), 2016

국가과학기술표준분류

  • EE. 정보/통신
  • EE02. 소프트웨어
  • EE0299. 달리 분류되지 않는 소프트웨어

국가기술지도분류

  • 정보-지식-지능화 사회 구현
  • 011300. 차세대 정보시스템기술

녹색기술분류

  • 녹색기술관련 과제 아님
  • 녹색기술관련 과제 아님
  • 999. 녹색기술 관련과제 아님

6T분류

  • IT 분야
  • 정보처리 시스템 및 S/W
  • 010316. 기타 정보처리시스템 및 S/W 기술