[2월 4일 (수)] [2월 5일 (목)] [2월 6일 (금)]
| 시간 | 세션 |
|---|---|
| 오후 12:00 - 1:00 | KCSE 2026 등록 |
| 오후 1:00 - 3:30 | T1. 튜토리얼 1 (102호) / 좌장: 배경민 (POSTECH) AI Red Teaming Toward AI Alignment 박상돈 교수 (POSTECH) T2. 튜토리얼 2 (111호) / 좌장: 류덕산 (전북대) 원자력 분야 소프트웨어 안전성 확인 및 검증: 기준, 절차, 방법, 사례 및 현안 지은경 교수 (KAIST) T3. 튜토리얼 3 (112호) / 좌장: 백종문 (KAIST) RoboRacer AI 경주 로봇 개발의 SW공학적 접근 김진현 교수 (경상대) |
| 오후 3:30 - 3:45 | 휴식 |
| 오후 3:45 - 4:00 | 개회식 (112호) / 사회: 이주용 교수 (UNIST) |
| 오후 4:00 - 5:00 | 기조강연 1 (112호) / 사회: 김미정 교수 (UNIST) AI-Native DevOps: What Should We Do — Accelerating Software Engineering with Shift-Left, CI/CD, and IDP 박인욱 상무 (LG전자 WebOS SW개발그룹 DevOps 개발실장) |
| 오후 5:00 - 5:15 | 휴식 |
| 오후 5:15 - 9:30 | 석식 및 태화강국가 정원 은하수길 산책 |
| 시간 | 세션 |
|---|---|
| 오전 9:00 - 9:50 | N1. 신진연구자 세미나 1 (102호) / 좌장: 김윤호 (한양대) 대규모 소프트웨어에서 바늘을 찾다: LLM 기반 결함 위치 식별의 산업 적용 안가빈 (고려대) N2. 신진연구자 세미나 2 (111호) / 좌장: 손정주 (경북대) 컨테이너 기반 클라우드 환경을 위한 RDMA-aware CNI 유명성 교수 (서울시립대) N3. 신진연구자 세미나 3 (112호) / 좌장: 지은경 (KAIST) 로보틱스 소프트웨어의 원인-결과 체인 지연시간 검증 신용준 박사 (ETRI) |
| 오전 9:50 - 10:00 | 휴식 |
| 오전 10:00 - 11:30 | A1. SW 테스팅 (102호) / 좌장: 안가빈 (고려대) An Empirical Study of Web Flaky Tests: Understanding and Unveiling DOM Event Interaction Challenges (ICST 2025) [초청논문] 손정주 (경북대) 기기의 건전성 테스트를 위한 누적손실기반 평가 메트릭 설계 및 검증 [일반논문] 최민서, 김진세, 이정원 (아주대) Automated code-based test case reuse for software product line testing (ICST 2024 Journal First) [초청논문] 정필수 (경상국립대) MCP 기반 멀티 에이전트 클라우드 DevSecOps 환경에서의 보안·규제·비용 통합 대응 워크플로우 [학부생논문] 김수민, 김영서, 심희윤, 장예린 (이화여대) 바이트코드 기반 Bugram 기법의 성능 평가 [단편논문] 추새벽(실버든든), 남재창(한동대학교) A2. 퍼징 및 기호실행 (111호) / 좌장: 김미정 (UNIST) [최우수 논문] 톰슨 샘플링 기반 지향성 협력 퍼저 [일반논문] 모현민, 김윤호(한양대) ExplosionGuard: 예산 제약 심볼릭 실행을 위한 정책 합성 및 가드레일 시스템 [단편논문] 이재영(선린인터넷고등학교), 이건우(충주고등학교) Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries (ICSE 2025) [초청논문] 김세훈 (UNIST) 딥러닝 라이브러리 계산 오류 탐지의 정확도 개선을 위한 차등 테스팅 파이프라인 [단편논문] Usmonali Pakhlavonov, 김세훈 (UNIST) Fork State-Aware Differential Fuzzing for Blockchain Consensus Implementations (ICSE 2025) [초청논문] 김원회 (KAIST) A3. SW 결함 I (112호) / 좌장: 백종문 (KAIST) 앙상블 머신러닝과 대형 언어 모델의 선택적 통합을 통한 비용 효율적인 Just-In-Time 결함 예측 [일반논문] 디미트리, 류덕산, 페이살 모하메드, 주나이드 (전북대) Can We Trust the Actionable Guidance from Explainable AI Techniques in Defect Prediction? (SANER 2025) [초청논문] 이기찬 (한양대) Tabpfn 기반의 소프트웨어 결함 예측 [단편논문] 임창우, 류덕산 (전북대) TabulaRNN 기반의 소프트웨어 결함 예측 [단편논문] 신중현, 류덕산 (전북대) KAN-BE: 파라미터 효율적 앙상블을 활용한 소프트웨어 결함 예측 [일반논문] 최윤서, 류덕산(전북대), 백종문(KAIST) A4. SE를 위한 AI I (106호) / 좌장: 유명성 (서울시립대) [최우수 논문] 단일 LLM 기반 테스트 Assertion 생성의 품질 강화: 변이 점수 피드백과 뮤턴트-가드 손실 결합 [일반논문] 김윤기, 양근석(한경국립대) 커버리지 피드백을 활용하는 LLM 기반 단위 테스트 자동 생성 기법 [학부생논문] 류병우 (UNIST) 대규모 언어 모델을 활용한 단위 테스트의 적합성 자동 식별 [단편논문] 김대원, 이영규, 유준범(건국대) 진화하는 AI 에이전트를 위한 적응형 런타임 테스팅의 필요성 [단편논문] Zhaoyan Wang, 안현준, 고인영 (KAIST) [우수 논문] Ko-LLM의 디버깅 성능 및 답변 품질 비교 분석 [학부생논문] 정수정, 정호연, 박효근, 김진대 (서울과학기술대) |
| 오전 11:30 - 오후 1:00 | 중식 |
| 오후 1:00 - 1:50 | B1. SW 안전 (102호) / 좌장: 유명성 (서울시립대) 스마트팩토리 예지보전을 위한 모니터링 소프트웨어 설계 [학부생 논문] 황세현, 김진세, 최민서, 이정원(아주대) 충돌 위험 인식을 위한 Grad-CAM과 LLM 결합 설명 시스템 [학부생논문] 신지아, 이선아 (경상국립대) 오픈소스 LLM 신뢰성 평가 프레임워크 설계 및 실험: 신뢰성 5대 품질 특성 중심 프롬프트 기반 Judge LLM 평가 방법 [단편논문] 김영찬, 김순태 (전북대) B2. SW 보안 I (111호) / 좌장: 차상길 (KAIST) LOSVER: Line-Level Modifiability Signal-Guided Vulnerability Detection and Classification (ASE 2025) [초청논문] 남도하 (KAIST) [우수 논문] AutoFiC: 취약점 탐지부터 PR 생성까지 자동화된 보안 패치 파이프라인 [학부생논문] 장인영 (덕성여대), 오정민 (가천대), 김민채 (국민대), 김은솔 (명지대) [최우수 논문] 바이너리 코드 (역)어셈블러 자동 생성 방법에 대한 탐구 [단편논문] 김지훈, 정승일, 김준태, 차상길 (KAIST) B3. SW 결함 II (112호) / 좌장: 남재창 (한동대) 검색 전략이 LLM 기반 버그 리포트 자동 생성 성능에 미치는 영향 분석 [일반논문] 최서진, 양근석 (한경국립대) Code LLaMA를 활용한 자연어 프롬프트 기반의 소프트웨어 결함 예측 [단편논문] 김민재, 류덕산 (전북대) [우수 논문] In-Context Learning 기반 표형 Foundation Model(TabICL)을 활용한 소프트웨어 결함 예측 [단편논문] 심은진, 류덕산 (전북대) B4. 응용 SW (106호) / 좌장: 김기섭 (DGIST) 생성형 AI 문서 검토에서 출처 라벨이 사용자 판단과 오류 탐지 수행에 미치는 영향 [일반논문] 민소원 (KAIST) EDGE 컴퓨팅 기기에서의 소형 객체 탐지를 위한 선택적 혼합 정밀도 기반 양자화 모델 성능 개선 연구 [단편논문] 임다희, 박지훈 (충남대) 도메인 특화 임베딩 학습을 활용한 한국어 법률 질의응답 RAG 시스템 최적화 연구 [산업체논문] 배소연(딥모달), 장진우, 이주형(미디어젠), 박진경(공정거래위원회) |
| 오후 1:50 - 2:00 | 휴식 |
| 오후 2:00 - 3:00 | C1. 프로그램 수정 (102호) / 좌장: 김윤호 (한양대) [우수 논문] 증거 생성과 구조적 제약을 결합한 자동 프로그램 정정 기법 [일반논문] 이현수, 양근석 (한경국립대) [우수 논문] LLM 기반 프로그램 자동 수정을 위한 코드 그래프 활용 방식 비교 [일반논문] 강신엽, 이지광, 권혁민, 남재창 (한동대) 프로그램 실행 중 발생한 버그의 실시간 자동 수정 [일반논문] 노준영, 김영재 (UNIST) C2. SW 보안 II (111호) / 좌장: 차상길 (KAIST) Automated Attack Synthesis for Constant Product Market Makers (ISSTA 2025) [초청논문] 한수진 (KAIST) LLM 질의를 통한 정적 오염분석 허위경보 제거 [일반논문] 주강대, 조한결, 이우석 (한양대) BERT 기반 웹쉘 탐지 모델 성능 평가 [단편논문] 백하현 정승욱 남재창 (한동대) C3. SE를 위한 AI II (112호) / 좌장: 남재창 (한동대) EnvAgent: AI/ML 프로젝트의 Conda 환경 자동 구축 시스템 [단편논문] 권혁민, 이지광, 강신엽, 정용빈, 남재창 (한동대) Beyond pip install: Evaluating LLM agents for the automated installation of Python projects (SANER 2025) [초청논문] 유신 (KAIST) 프로젝트 구조 요약을 통한 대규모 언어 모델의 구조적 한계 보완 가능성에 대한 실험적 연구 [학부생논문] 이석인, 이선아 (경상대) C4. 제조 AI를 위한 SE (106호) / 좌장: 김기섭 (DGIST) [우수 논문] 치공구 설계를 위한 RAG-MCP 기반 멀티 에이전트 FreeCAD 오토코딩 시스템 [산업체논문] 이의천, 고성진, 이선아 (경상국립대), 이석원((주)씨엘디) 대규모 언어 모델 기반 무인공장 작업 정책 자동 생성 [일반논문] 주은정, 이정화(미라클에이지아이), 류덕산(전북대), 백종문(KAIST) X-RAD Engineering Recipe: 하이브리드 그래프와 2단계 책임 분리를 통한 설명가능한 이상 탐지 [일반논문] 김민지, 허대영(국민대) |
| 오후 3:00 - 3:15 | 휴식 |
| 오후 3:15 - 4:15 | IITP 공청회 (112호) / 사회: 김태호 박사 (IITP) AI-native SW 산업 혁신 기술 개발 사업 공청회 |
| 오후 4:15 - 4:30 | 휴식 |
| 오후 4:30 - 5:30 | 기조강연 2 (112호) / 사회: 이정원 교수 (아주대) 보이지 않던 소프트웨어를 투명하게: SBOM과 취약점 관리가 던지는 질문 이희조 교수 (고려대 컴퓨터학과) |
| 오후 5:30 - 6:00 | 휴식 |
| 오후 6:00 - 8:00 | 석식(Banquet) 및 시상식 (201동(대학본부) 4층 경동홀) |
| 시간 | 세션 |
|---|---|
| 오전 9:00 - 10:00 | 기조강연 3 (112호) / 사회: 이주용 교수 (UNIST) 설명가능 인공지능을 통한 대형 인공지능 모델의 기능 및 안전성 확인 최재식 교수 (KAIST 김재철AI대학원) |
| 오전 10:00 - 10:15 | 휴식 |
| 오전 10:15 - 11:45 | D1. SW 테스팅 II (102호) / 좌장: 손정주 (경북대) How Effective are Large Language Models in Generating Software Specifications? (SANER 2025) [초청논문] 류병우 (UNIST) 질의-응답 프롬프트 기반 실용적인 테스트 오라클 생성 [일반논문] 정지나, 김윤호(한양대) [우수 논문] 상태 공간 모델 기반 오프라인 강화학습의 강건성 테스팅 [단편논문] 한태현, 김장환, 김영철 (홍익대) 모델체킹을 위한 강화학습 기반 휴리스틱 학습 [단편논문] 강혜윤, 손병호, 배경민 (POSTECH) TopSeed: Learning Seed Selection Strategies for Symbolic Execution from Scratch (ICSE 2025) [초청논문] 이재혁 (성균관대) D2. SW 디버깅 (111호) / 좌장: 지은경 (KAIST) Collaboration failure analysis in cyber-physical system-of-systems using context fuzzy clustering (EMSE2025) [초청논문] 현상원 (University of Adelaide) 딥러닝 기반 국방 SW 결함위치추정을 위한 변이 기반 데이터셋 구축의 체계적 연구 [단편논문] 양희찬, 이아청 (KAIST), 조규태 (LIGNex1), 김문주 (KAIST/브이플러스랩) 이슈 설명과 심볼 수준의 목표를 활용한 분류 기반 결함 위치 식별 [단편논문] 아슬란 압디나비예프, 홍수지, 이병정(서울시립대) 실행 컨텍스트 정합성에 기반한 LLM 결함 위치 추정 결과의 안정화 기법 [일반논문] 남규민, 최서진, 양근석(한경국립대) Diff-only 환경에서 단일 에이전트와 다중 에이전트 기반 커밋 메시지 생성의 비교 분석 [일반논문] 안도경, 양근석 (한경국립대) D3. 프로그램 분석 및 모델링 (112호) / 좌장: 배경민 (POSTECH) 바이트코드 의미 보존을 위한 그래프 생성 기법 [단편논문] 권민하, 정용빈, 정승욱, 정다훈, 남재창 (한동대) Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis (ASE 2025) [초청논문] 홍재민 (KAIST) 컨트롤러 소프트웨어의 속성 검사를 위한 상태 기반 테스트 생성 기법의 평가 [일반논문] Za Vinh Le (경북대), 홍신 (충북대), 최윤자 (경북대) [우수 논문] 반응형 시스템을 위한 LLM 기반 상태머신 생성 기법 및 성능평가 [단편논문] 최승빈(소프트웨어재난연구센터), 김요엘, 최윤자(경북대) 통합 그래프 신경망을 통한 계층적 멀티모달 코드 표현 학습 [일반논문] 주나이드 칸 카카르, 파이살 모하마드, 류덕산 (전북대) |
| 오전 11:45 - 11:50 | 휴식 |
| 오전 11:50 - 오후 12:00 | 폐회식 (112호) / 사회: 이주용 교수 (UNIST) |