Lab of Software

소프트웨어 연구실

관련기사 바로가기

At LOFT (Lab of sOFTware), we develop software for software. As commonly said, software is everywhere. It is on your smartphone, your laptop computer, and servers running all kinds of software you use daily. At our lab, we build software that takes as input any software and finds various problems of the software, and more importantly, fixes the detected problems automatically and guarantees the correctness of the fixed software. The techniques developed in our lab contribute to making software that supports rather than governs us.

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

•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 Correlation Study between Automated Program Repair and Test-Suite Metrics, Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme and Abhik Roychoudhury
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 기술