[사진상 좌측부터 : 허기홍 교수, 장수진 박사과정, 류연희 박사과정]

KAIST 정보보호대학원 기홍 교수 연구팀이 지난 6월 노르웨이 트론헤임에서 열린 ACM FSE 2025 (ACM International Conference on the Foundations of Software Engineering)에서 최우수 논문상(Distinguished Paper Award)을 수상했다.

FSE는 ACM(Association for Computing Machinery) 주최로 매년 개최되며, 소프트웨어공학 분야에서 세계적으로 가장 높은 권위를 지닌 국제 학술대회 중 하나다. 최신 연구 성과 발표와 전 세계 연구자 간 교류의 장이며, 제출된 논문 중 극소수만이 본 상을 수상할 만큼 경쟁이 치열하다. 최우수 논문상은 독창성, 기술적 완성도, 학술적 기여도, 실용적 영향력 등을 종합적으로 평가해 가장 우수한 논문에만 수여된다.

수상 논문은 박사과정 장수진, 류연희 연구원과 학부생 이희원 연구원이 공동 저자로 참여했으며, 기존보다 훨씬 효과적으로 소프트웨어 오류를 검출할 수 있는 ‘목표 지향 단위 테스트 자동 생성 시스템’을 새롭게 제안했다. 이 시스템은 소프트웨어 내부의 기능상 핵심 지점 또는 오류 가능성이 높은 지점을 집중적으로 테스트하는 프로그램을 자동 생성한다. 이를 통해 테스트 시간을 줄이면서도 오류 검출률을 높일 수 있으며, 특히 대규모 소프트웨어를 여러 개발자가 협업하는 환경에서 높은 실용성을 보인다.

연구팀은 실제로 이 시스템을 적용해 세계적으로 널리 사용되는 다양한 오픈소스 소프트웨어에서 수십 건의 미확인 오류를 새롭게 발견하며 기술의 실효성과 확장 가능성을 입증했다. 발표 당시 현장에서도 논문의 내용은 큰 관심을 끌며 주목을 받았다.

허기홍 교수는 “학생들의 열정과 협업이 만들어낸 값진 성과”라며 “이번 연구를 바탕으로 기술을 더욱 고도화해 세계적인 수준으로 발전시켜 나가겠다”고 밝혔다.

연구 소개 페이지: https://prosys.kaist.ac.kr/unitcon/
연구 논문: https://dl.acm.org/doi/10.1145/3729362