“지능형 개발 기술과 소프트웨어 공학의 미래”
https://sigsoft.or.kr/kcse2025

KCSE2025: 프로그램 북 | Proceeding 다운로드

▣ 행사개요

• 일시: 2025년 1월 20일(월) ~ 1월 22일(수)
• 주최: 한국정보과학회, 한국정보처리학회
• 주관: 한국정보과학회 소프트웨어공학 소사이어티, 한국정보처리학회 소프트웨어공학 연구회
• 장소: 강원도 평창군 한화리조트 평창
• 후원: ㈜솔루션링크, ㈜비트컴퓨터, ㈜포멀웍스, ㈜이에스지, ㈜다한테크, 브이플러스랩㈜, 슈어소프트테크㈜, TTA소프트웨어시험인증연구소, ㈜모아소프트

▣ 모시는 글
소프트웨어공학 학술대회(KCSE 2025) 참가자 여러분을 환영합니다. KCSE (Korea Conference on Software Engineering)는 기업, 연구소 및 학계에서 활동하고 계신 소프트웨어공학 분야 전문가들의 모임으로, 한국정보과학회 소프트웨어공학 소사이어티와 한국정보처리학회 소프트웨어공학 연구회가 소프트웨어공학 기술의 발전 및 적용 확산을 위하여 1999년부터 매년 개최하는 학술대회입니다. 이번 제27회 학술대회는 “지능형 개발 기술과 소프트웨어 공학의 미래”를 주제로, 기조 연설, 튜토리얼, 신진 연구자 발표, 우수논문 발표 등의 초청 세션과 소프트웨어공학 분야 각계에서 제출한 63편의 엄선된 논문으로 구성되었습니다. 이번 KCSE 2025 학술대회가 소프트웨어공학을 연구하고, 적용하는 모든 연구자 그리고 전문가 여러분께 즐겁고 활기찬 학술 교류 및 기술 협력의 장이 될 수 있도록 여러분들의 많은 관심과 참여를 부탁드립니다.

한국정보과학회 소프트웨어공학 소사이어티 회장 이정원
한국정보처리학회 소프트웨어공학 연구회 운영위원장 유준범

▣ 기조강연

• 기조강연 1: 정진민 부사장 (삼성전자 Samsung Research S/W혁신센터): “AI for Software Engineering”
• 기조강연 2: 강성원 교수 (KAIST 전산학부): “재사용을 위한 소프트웨어 산출물 모델링”

▣ 튜토리얼

• 강성민 박사 (KAIST): 언어모델을 이용한 소프트웨어 시험 및 오류 분석
• 김미정 교수 (UNIST): 딥러닝 API 퍼징
• 김태호 교수 (서울여대): 멀티코어 프로세서를 고려한 항공 SW 인증: DO-178B Level A 인증 10 주년
• 백두산 박사 (KT 기술혁신본부): LLM 기반 Agent에 대한 이해와 테스팅 방법

▣ 우수 국제학회/학술지 초청 논문발표

• “A Quantitative and Qualitative Evaluation of LLM-based Explainable Fault Localization”, FSE 2024, 강성민(KAIST)
• “AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference”, ISSTA 2024, 김형석 (NSR)
• “Cneps: A Precise Approach for Examining Dependencies among Third-Party C/C++ Open-Source Components”, ICSE 2024, 나종원 (고려대)
• “Effective Unit Test Generation for Java Null Pointer Exceptions”, ASE 2024, 오학주 (고려대)
• “Evaluating and Improving Adversarial Robustness of Deep Learning Models for Intelligent Vehicle Safety”, IEEE Transactions on Reliability 2024, Manzoor Hussain (충북대)
• “Fuzzing JavaScript Interpreters with Coverage-Guided Reinforcement Learning for LLM-Based Mutation”, ISSTA 2024, 권태경 (연세대)
• “Just-in-Time Flaky Test Detection via Abstracted Failure Symptom Matching”, ICSME 2024, 안가빈 (Roku Inc.)
• “NeuroJIT: Improving Just-In-Time Defect Prediction Using Neurophysiological and Empirical Perceptions of Modern Developers”, ASE 2024, 이기찬 (한양대)
• “Non-Flaky and Nearly-Optimal Time-based Treatment of Asynchronous Wait Web Tests”, TOSEM 2024, 손정주 (경북대)
• “PBE-based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software”, ASE 2024, 김요엘 (경북대)
• “Preserving Reactiveness: Understanding and Improving the Debugging Practice of Blocking-Call Bugs”, ISSTA 2024, 김동선 (고려대)
• “ZigZagFuzz: Interleaved Fuzzing of Program Options and Files”, TOSEM (accepted in 2024), 이아청 (KAIST)

▣ 신진 연구자 초청 발표

• 권령구 박사 (경기대): 강화 학습의 안전성과 안정성을 위한 반례 기반 클러스터링 및 MDP-PPO 하이브리드 접근법
• 백경덕 박사 (KAIST): 공용 공간의 인터랙티브 서비스 제공을 위한 인공지능 및 소프트웨어 공학 접근법
• 송지영 교수 (한남대): 시스템 오브 시스템즈와 소프트웨어 공학

▣ 참가등록

• 참가등록비(조식 2회, 중식 1회, 석식 2회 포함)

구분	일반	학생	학부/주니어
사전등록(1.12)	260,000원	200,000원	90,000원
현장등록	280,000원	220,000원	110,000원

• 한국정보과학회 회원/비회원 참가비 동일
• 사전등록 사이트: https://www.kiise.or.kr/conference/conf/164/ 2025년 1월 12일 까지
• 참가등록문의: 한국정보과학회 오다름 대리 (Email: dareum89@kiise.or.kr, Tel. 070-4800-4012)
  • 납입증명서, 참가확인서(행사종료 후) 요청 가능
• 기타문의
  • 행사관련: 건국대 유준범 교수 (Email: jbyoo@konkuk.ac.kr)
  • 논문관련: 충북대 홍신 교수 (Email: hongshin@gmail.com)

▣ 학술 대회 조직 구성

• 대회장: 이정원 교수(아주대), 유준범 교수(건국대)
• 조직위원장: 유준범 교수(건국대)
• 조직위원:  김순태 교수(전북대), 남재창 교수(한동대), 류덕산 교수(전북대), 민상윤 대표(솔루션링크), 백종문 교수(KAIST), 유신 교수(KAIST), 이주용 교수(UNIST), 정세진 교수(진주교대), 김태호 교수(서울여대), 전진옥 사장(비트컴퓨터)
• 학술위원장: 홍신(충북대)
• 학술위원: 강종구 교수(성신여대), 강지훈 교수(KAIST), 고인영 교수(KAIST), 김동선 교수(고려대), 김문주 교수(KAIST), 김미정 교수(UNIST), 김윤호 교수(한양대), 김정아 교수(가톨릭관동대), 김진대 교수(서울과학기술대), 김진현 교수(경상대), 김태호 교수(서울여대), 김택수 박사(삼성전자), 남재창 교수(한동대), 류덕산 교수(전북대), 마유승 박사(ETRI), 박수진 교수(서강대), 박지훈 교수(충남대), 배경민 교수(POSTECH), 서영석 교수(영남대), 손정주 교수(경북대), 송지영 교수(한남대), 안성수 교수(경상대), 양근석 교수(한경대), 오학주 교수(고려대), 윤회진 교수(협성대), 이관우 교수(한성대), 이선아 교수(경상대), 이우석 교수(한양대), 이은서 교수(안동대), 이은주 교수(경북대), 이지현 교수(전북대), 이찬근 교수(중앙대), 이희진 교수(동양미래대), 정우성 교수(서울교대), 정필수 교수(경상대), 지은경 교수(KAIST), 차상길 교수(KAIST), 차수영 교수(성균관대), 채흥석 교수(부산대), 최윤자 교수(경북대), 허기홍 교수(KAIST), 홍장의 교수(충북대)

▣ KCSE 2025 프로그램

• 1일차: 1월 20일 (월)

• 2일차: 1월 21일 (화)

• 3일차: 1월 22일 (수)

▣ KCSE2025 논문상

<일반논문트랙 최우수논문상>

• RAG 기반 LLM을 활용한 소프트웨어 프로젝트 성과 평가 및 지식 전수 시스템
  박승민, 권령구, 권기현(경기대), 이창율((주)에스피아이디)
• 현실적인 소프트웨어 디버깅 시나리오에서 대규모 언어 모델의 성능 평가
  박효근, 정호연, 김진대(서울과학기술대)

<일반논문트랙 우수논문상>

• 거대 언어 모델 기반 소프트웨어 결함 예측을 위한 프롬프트 전략 비교 연구
  홍현선(한국과학기술원), 강종구(성신여대), 류덕산(전북대), 백종문(한국과학기술원)
• SHAP 및 반사실적 분석을 사용한 TABNET을 통한 소프트웨어 결함 예측의 해석 가능성 향상
  Junaid Khan Kakar, 류덕산 (전북대)

<단편논문트랙 우수논문상>

• 웹기반 어플리케이션의 라이트 모드와 다크 모드 불일치 자동 탐지
  K C Shweta, 탁병철 (경북대), 김동선 (고려대)
• 패치 피드백과 조합을 사용한 LLM 기반 다중 함수 프로그램 정정
  Aslan Abdinabiev, 정은서, 이병정 (서울시립대)
• Software Process 내에서 AI 지향 요구 공학 적용한 사례
  진예진, 서채연 (홍익대), 공지훈 (툰스퀘어), 김기두 (한국정보통신기술협회), 김영철 (홍익대)

<산업체논문트랙 우수논문상>

• 멀티모달 EO/IR 객체 인식 모델을 통한 방산 분야의 효율적인 객체 탐지 시스템 개발
  이로사, 김연수, 송진모(한화에어로스페이스)

<학부생논문트랙 우수논문상>

• 소프트웨어 결함 예측에서 대형 언어 모델의 활용:   범용 모델과 프로그래밍 전용 모델의 성능 평가
  박지민, 이선구, 백종문 (한국과학기술원)
• 블록체인 기반 신원인증 및 인공지능 기술을 활용한 IoT 침입 방지 시스템
  방수진, 윤유준, 장성원, 조은희, 이광재 (상명대)
• YOLOv11 기반 고추 자동 수확 로봇 시스템: 성숙도 판별 및 최적 파지점 검출 알고리즘
  양다은, 안선우, 이은주 (한양대 ERICA)

▣ 후원업체