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

▣ 행사개요

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

▣ 모시는 글
소프트웨어공학 학술대회(KCSE 2025) 참가자 여러분을 환영합니다. KCSE (Korea Conference on Software Engineering)는 기업, 연구소 및 학계에서 활동하고 계신 소프트웨어공학 분야 전문가들의 모임으로, 한국정보과학회 소프트웨어공학 소사이어티와 한국정보처리학회 소프트웨어공학 연구회가 소프트웨어공학 기술의 발전 및 적용 확산을 위하여 1999년부터 매년 개최하는 학술대회입니다. 이번 제27회 학술대회는 “지능형 개발 기술과 소프트웨어 공학의 미래”를 주제로, 기조 연설, 튜토리얼, 신진 연구자 발표, 우수논문 발표 등의 초청 세션과 소프트웨어공학 분야 각계에서 제출한 66편의 엄선된 논문으로 구성되었습니다. 이번 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): 공용 공간의 인터랙티브 서비스 제공을 위한 인공지능 및 소프트웨어 공학 접근법
  • 송지영 교수 (한남대): 시스템 오브 시스템즈와 소프트웨어 공학

▣ 참가등록

  • 참가등록비
구분일반학생학부/주니어
사전등록(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일 (수)

▣ 후원업체

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

논문 양식: [다운로드]
튜토리얼 제안서 양식: [다운로드]

▣ 행사개요

  • 일시: 2025년 1월 20일(월) ~ 1월 22일(수)
  • 주최: 한국정보과학회, 한국정보처리학회
  • 주관: 한국정보과학회 소프트웨어공학 소사이어티, 한국정보처리학회 소프트웨어공학 연구회
  • 장소: 강원도 평창군 한화리조트 평창

▣ 모시는 글
한국정보과학회와 한국정보처리학회가 공동 주최하고 한국정보과학회의 소프트웨어공학 소사이어티와 한국정보처리학회의 소프트웨어공학 연구회가 공동 주관하는 “제27회 한국 소프트웨어공학 학술대회(KCSE 2025)”가 2025년 1월 20일부터 1월 22일까지 평창에서 개최됩니다. 이번 행사에서는 “지능형 개발 기술과 소프트웨어 공학의 미래”를 주제로 다양한 발표와 토론이 있을 예정입니다. 논문 모집과 학회 행사에 많은 관심과 참여 부탁드립니다.

▣ 논문모집
아래 나열된 분야를 포함하여 소프트웨어공학 전 분야의 논문을 모집합니다.

▶︎AI and Software Engineering
▶︎Agile Methodologies▶︎Auto-coding
▶︎Autonomic and (self-) Adaptive Systems
▶︎Blockchain Platform/Blockchain based
  Software Systems
▶︎Cloud and Service Oriented Computing
▶︎Component-based Software Engineering
▶︎Configuration Management and Deployment
▶︎Cooperative, Distributed, and Collaborative
  Software Engineering
▶︎Debugging, Fault Localization, and Repair
▶︎Dependability, Safety, and Reliability
▶︎Embedded & Realtime Systems
▶︎Empirical Software Engineering
▶︎End-user Software Engineering
▶︎Formal Methods
▶︎Green and Sustainable Technologies
▶︎Human Factors and Social Aspects of
  Software Engineering
▶︎IoT and CPS
▶︎Middleware, Frameworks, and APIs		▶︎Mining Software Repository
▶︎Mobile and Pervasive Software Systems 
▶︎Model-Driven and Domain Specific Engineering
▶︎Parallel, Distributed, and Concurrent Systems
▶︎Program Languages and Systems
▶︎Program Analysis, Synthesis, and Verification
▶︎Refactoring
▶︎Requirements Engineering
▶︎Reverse Engineering
▶︎Search-based Software Engineering
▶︎Security, Privacy and Trust
▶︎Software Architecture, Modeling and Design
▶︎Software Comprehension, Visualization and Traceability
▶︎Software Economics and Metrics
▶︎Software Engineering Education
▶︎Software Evolution and Maintenance
▶︎Software Process and Standards
▶︎Software Product Line Engineering
▶︎Software Reuse
▶︎Software Safety and Reliability
▶︎System of Systems
▶︎Testing, Verification and Validation

▣ 논문 접수

논문 성격에 따라 아래와 같은 트랙으로 구분하여 접수합니다.

  • 일반(Regular) 논문: 대학, 연구소 또는 기업에서 수행한 이론, 실험, 아이디어 제시 위주의 논문(8-10쪽)
  • 단편(Short) 논문: 대학, 연구소 또는 기업에서 수행한 이론, 실험, 아이디어 제시 위주의 논문(3-4쪽) 
  • 산업체 논문: 소프트웨어 공학의 각종 기법을 실제 업무에 적용한 논문(3-4쪽 논문 또는 8-12장 발표자료)
  • 학부생 논문: 학부생이 수행한 프로젝트, 이론/실험, 아이디어 위주의 논문(3-4쪽 논문)
  • 튜토리얼 제안서: 개인이나 팀을 구성하여 제안

※ 트랙별 우수논문을 선정하여 시상할 예정이며, 일반 및 단편 논문 중 우수논문을 선정하여 한국정보과학회 논문지 및 한국정보처리학회 논문지에 게재 추천

▣ 논문 접수 주요 일정

  • 논문 접수 일정: 2024년 11월 1일(금) ~ 2024년 12월 20일(금)  2024년 12월 27일(금) 2024년 12월 30일(월) (최종연장)
  • 튜토리얼 제안서 접수: 2024년 12월 20일(금) (최종마감)
  • 심사 결과 통보: 2025년 1월 6일(월) 1월 8일(수)
  • 최종 원고 제출 및 사전등록 마감: 2025년 1월 10일(금) 1월 12일(일)

▣ 논문 양식 및 제출처

▣ 학술대회 사전등록

  • 사전등록: 2025년 1월 10일(금) 1월 12일(일) 까지 
  • 사전등록 신청: https://www.kiise.or.kr/conference/conf/164/
  • 참가 등록 문의: 한국정보과학회 오다름 대리 (Email: dareum89@kiise.or.kr, Tel. 070-4800-4012)  
  • 납입증명서, 참가확인 발급 가능(요청 시 행사종료 후 발급)
  • 행사 관련 문의: 조직위원장 유준범(건국대) E-mail: jbyoo@konkuk.ac.kr

▣ 학술 대회 조직 구성

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

Korea Conference on Software Engineering 2024 (KCSE2024)

https://sigsoft.or.kr/kcse2024/

KCSE2024: 프로그램 북 | Proceedings 다운로드

“거대 인공지능과 소프트웨어공학 기술”

▣ 행사개요

– 일시: 2024년 1월 31일(수) – 2월 2일 (금)
– 주최: 한국정보과학회, 한국정보처리학회
– 주관: 한국정보과학회 소프트웨어공학 소사이어티, 한국정보처리학회 소프트웨어공학연구회
– 장소: 강원도 휘닉스 평창 한화리조트
– 후원: ㈜솔루션링크, ㈜비트컴퓨터, ㈜이에스지, ㈜다한테크, 브이플러스랩㈜, 슈어소프트테크㈜, TTA소프트웨어시험인증연구소, T3Q㈜

▣ 모시는 글

소프트웨어공학 학술대회(KCSE 2024) 참가자 여러분을 환영합니다. KCSE (Korea Conference on Software Engineering)는 기업, 연구소 및 학계에서 활동하고 계신 소프트웨어공학 분야 전문가들의 모임으로, 한국정보과학회 소프트웨어공학 소사이어티와 한국정보처리학회 소프트웨어공학연구회가 소프트웨어공학 기술의 발전 및 적용 확산을 위하여 1999년부터 매년 개최하는 학술대회입니다. 이번 제26회 학술대회는 “거대 인공지능과 소프트웨어공학 기술” 주제로, 기조 연설, 튜토리얼, 신진 연구자 발표, 우수 논문 발표 등의 초청 세션과 소프트웨어공학 분야의 각계에서 제출한 논문 발표로 구성될 예정이며, 2024년 1월 31일부터 3일간에 걸쳐 진행합니다. 이번 KCSE 2024 학술대회가 소프트웨어공학을 연구하고, 적용하는 모든 연구자 그리고 전문가 여러분께 즐겁고 활기찬 학술 교류 및 기술 협력의 장이 될 수 있도록 다양한 프로그램으로 진행하고자 하오니 여러분의 많은 관심과 참여를 부탁드립니다.

한국정보과학회 소프트웨어공학 소사이어티 회장 고인영
한국정보처리학회 소프트웨어공학연구회 운영위원장 이은서

▣ 기조강연

  • 기조강연 1: “대규모언어모델과 소프트웨어 공학 – 역사, 현황, 전망대규모”, 유신 교수 (KAIST)
  • 기조강연 2: ChatGPT 1년, 초거대 AI 시대가 불러온 변화와 우리의 대응전략, 하정우 센터장 (Naver Cloud)

▣ 튜토리얼

  • 박재호 전무 (㈜레인보우브레인): “LLM을 활용한 소프트웨어 공학의 문제 해결”
  • 김동환 연구위원 (LIG넥스원): “유무인 복합체계의 소개와 참조 아키텍처 개발 전략
  • 강종구 교수 (성신여대) : “미래 모빌리티의 소프트웨어 및 데이터 기반 혁신”

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

  • FunProbe: Probing Functions from Binary Code through Probabilistic Analysis, FSE2023, 김수민(KAIST)
  • WINE: Warning Miner for Improving Bug Finders. IST, 남재창(한동대)
  • Deceiving Humans and Machines Alike: Search-based Test Input Generation for DNNs using Variational Autoencoders, TOSEM, 강성민 (KAIST)
  • An Empirical Study on the Performance of Individual Issue Label Prediction, MSR2023, 허주은(경상국립대)
  • Automated Program Repair from Fuzzing Perspective, ISSTA2023, 한승헌(UNIST)
  • Intent-Driven Mobile GUI Testing with Autonomous Large Language Model Agents, ICST, 윤주연(KAIST)
  • EtherDiffer: Differential Testing on RPC Services of Ethereum Nodes, FSE2023, 김신해(국가보안기술연구소)
  • A Bayesian Framework for Automated Debugging, ISSTA2023, 강성민(KAIST)
  • Poracle: Testing Patches Under Preservation Conditions to Combat the Overfitting Problem of Program Repair, TOSEM, 이주용(UNIST)
  • Dynamic and Effect-driven Output Service Selection for IoT, IEEE Internet of Things Journal, 백경덕(KAIST)

▣ 신진 연구자 초청 발표

  • 차수영 교수 (성균관대학교): “데이터-기반 소프트웨어 테스팅”
  • 박지훈 교수 (충남대학교): “엣지 컴퓨팅 환경에서의 인공지능 시스템 연구”

▣ 참가등록

  • 참가등록비

구분일반학생학부/주니어
사전등록250,000원190,000원80,000원
현장등록270,000원210,000원100,000원

  • 한국정보과학회 회원/비회원 참가비 동일
  • 사전등록, 숙박안내 및 오시는 길: https://www.kiise.or.kr/conference/conf/140/ 2023년 1월 19일 (금) 까지
  • 참가등록문의: 한국정보과학회 최희수 과장 (Email: hschoi@kiise.or.kr, Tel. 02-588-9246)
    • 납입증명서, 참가확인서(행사종료 후) 요청 가능
  • 기타문의
    • 행사관련: 한성대 이관우 교수 (Email: kwlee@hansung.ac.kr, Tel. 02-760-5864)
    • 논문관련: 한동대 남재창 교수 (Email: jcnam@handong.edu, Tel. 054-260-1404)

▣ 프로그램

▣ 학술 대회 조직 구성

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

▣ 후원업체

2024 한국 소프트웨어공학 학술대회 (KCSE 2024) 논문 모집

“거대 인공지능과 소프트웨어공학 기술”

KCSE2024 Main: https://sigsoft.or.kr/kcse2024

▣ 행사개요

– 일시: 2024년 1월 31일(수) – 2월 2일 (금)
– 주최: 한국정보과학회, 한국정보처리학회
– 주관: 한국정보과학회 소프트웨어공학 소사이어티, 한국정보처리학회 소프트웨어공학연구회
– 장소: 강원도 휘닉스 평창 한화리조트

▣ 모시는 글

한국정보과학회와 한국정보처리학회가 공동 주최하고 한국정보과학회의 소프트웨어공학 소사이어티와 한국정보처리학회의 소프트웨어공학 연구회가 공동 주관하는 “2024 한국 소프트웨어공학 학술대회 (KCSE 2024)”가 2024년 1월 31일부터 2월 2일까지 평창에서 개최됩니다. 이번 행사에서는 “거대 인공지능과 소프트웨어공학 기술”을 주제로 다양한 논문 발표 및 토론이 있을 예정입니다. 이에 아래와 같이 논문을 모집하오니 여러분의 많은 참여를 부탁드립니다.

▣ 논문모집분야

▣ 논문 접수

논문 성격에 따라 아래와 같은 트랙으로 구분하여 접수합니다

  • 일반(Regular) 논문: 대학, 연구소 또는 기업에서 수행한 이론, 실험, 아이디어 제시 위주의 논문 (8-10쪽)
  • 단편(Short) 논문: 대학, 연구소 또는 기업에서 수행한 이론, 실험, 아이디어 제시 위주의 논문 (2-4쪽)
  • 산업체 논문: 소프트웨어 공학의 각종 기법을 실제 업무에 적용한 논문 (4-8쪽 논문 또는 발표자료)
  • 박사학위 논문: 2021년도 이후에 소프트웨어공학 분야의 박사학위를 취득했거나 예정인 논문 (2쪽)
  • 학부생 논문: 학부생이 수행한 프로젝트, 이론/실험, 아이디어 위주의 논문 (4-8쪽 논문)
  • 튜토리얼 제안서: 개인이나 팀을 구성하여 제안

※ 제출된 일반논문 중 우수논문을 선정하여 한국정보과학회 논문지 및 한국정보처리학회 논문지에 게재 추천

▣ 주요 일정

  • 튜토리얼 제안서 접수: 2023년 12월 15일 (금)
  • 논문 접수 마감: 2023년 12월 22일 (금) 2023년 12월 29일(금) 2024년 1월 3일(수) (연장, 최종)
  • 심사 결과 통보: 2024년 1월 12일 (금)
  • 최종 원고 제출: 2024년 1월 19일 (금)

▣ 논문 및 제안서 제출

▣ 학술 대회 조직 구성

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

Korea Conference on Software Engineering 2023 (KCSE2023)

“건강하고 안전한 사회를 위한 소프트웨어공학 기술”

https://sigsoft.or.kr/kcse2023/

[프로그램북v1.3] [KCSE2023 Proceedings V3]

▣ 행사개요

▣ 일시: 2023년 2월 8일(수) ~ 2월 10일(금)
▣ 주최: 한국정보과학회, 한국정보처리학회
▣ 주관: 한국정보과학회 소프트웨어공학 소사이어티, 한국정보처리학회 소프트웨어공학연구회
▣ 장소: 강원도 휘닉스 평창 한화리조트
▣ 후원: ㈜STA테스팅컨설팅, ETRI, ㈜솔루션링크, ㈜비트컴퓨터, ㈜이에스지, ㈜ 다한테크, 브이플러스랩㈜, 슈어소프트테크㈜, 한국정보통신기술협회, KOSTA한국소프트웨어기술진흥협회, 모아소프트, T3Q㈜, SPID

▣ 모시는 글

소프트웨어공학 학술대회(KCSE 2023) 참가자 여러분을 환영합니다. KCSE (Korea Conference on Software Engineering)는 기업, 연구소 및 학계에서 활동하고 계신 소프트웨어공학 분야 전문가들의 모임으로, 한국정보과학회 소프트웨어공학 소사이어티와 한국정보처리학회 소프트웨어공학연구회가 소프트웨어공학 기술의 발전 및 적용 확산을 위하여 1999년부터 매년 개최하는 학술대회입니다.
이번 제25회 학술대회는 “건강하고 안전한 사회를 위한 소프트웨어공학 기술”을 주제로, 기조 연설, 튜토리얼, 신진 연구자 발표, 우수 논문 발표 등의 초청 세션과 소프트웨어공학 분야의 각계에서 제출한 48편의 엄선된 논문으로 구성하였으며, 2023년 2월 8일부터 3일간에 걸쳐 진행합니다. 이번 KCSE 2023 학술대회가 소프트웨어공학을 연구하고, 적용하는 모든 연구자 그리고 전문가 여러분께 즐겁고 활기찬 학술 교류 및 기술 협력의 장이 될 수 있도록 다양한 프로그램으로 진행하고자 하오니 여러분의 많은 관심과 참여를 부탁드립니다.

한국정보과학회 소프트웨어공학 소사이어티 회장 고인영
한국정보처리학회 소프트웨어공학연구회 운영위원장 이은서

▣ 기조강연

  • 기조강연 1: “Software Safety: Growing Need, Status, and Research Issues”, 민상윤 협회장(소프트웨어와 사회안전협회)
  • 기조강연 2: “Software Engineering and Software Safety: My Journey”, 차성덕 교수(고려대학교)

▣ 튜토리얼

  • 배경민 (POSTECH): “분산시스템의 정형명세 및 모델검증” [발표자료]
  • 김동환 (LIG 넥스원): “Model-Based System Engineering: 무기체계 개발을 중심으로”
  • 박찬진, 백규승 (오브젠): “인과추론 기술과 소프트웨어 공학 적용” [발표자료 1] [발표자료 2]

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

  • “PyTER: Effective Program Repair for Python Type Errors”, FSE 2022, 오원석(고려대)
  • “Automatically Deriving JavaScript Static Analyzers from Specifications using Meta-Level Static Analysis”, FSE 2022, 박지혁(KAIST)
  • “STLmc: Robust STL Model Checking of Hybrid Systems using SMT”, CAV 2022, 유근열(POSTECH)
  • “Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing”, ICSE 2023, 이명호(고려대)
  • “Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations”, ICSE 2023, 김종욱(고려대)
  • “Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction”, ICSE 2023, 윤주연(KAIST)
  • “Fonte: Finding Bug Inducing Commits from Failures”, ICSE 2023, 안가빈(KAIST)
  • “Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs”, ICSE 2023, 홍재민(KAIST)
  • “Predictive Mutation Analysis via Natural Language Channel in Source Code”, TOSEM 2022, 김진한(KAIST)
  • “Arachne: Search Based Repair of Deep Neural Networks”, TOSEM 2023, 강성민(KAIST)
  • “MuFBDTester: A mutation-based test sequence generator for FBD programs implementing nuclear power plant software,” Software Testing, Verification and Reliability 2022, Lingjun Liu(슈어소프트테크)

▣ 신진 연구자 초청 발표

  • 안성수 박사(한국과학기술정보연구원): “목표지향과 기계학습 기반 접근방식을 활용한 기업의 문제가설 검증”
  • 박예슬 박사(현대자동차): “디바이스 로그 기반 시계열 데이터 분석 방법”

▣ 협력 워크숍

  • ETRI 차세대 엣지컴퓨팅SW 연구사업

▣ 참가등록

  • 참가등록비

구분일반학생학부/주니어
사전등록250,000원190,000원80,000원
현장등록270,000원210,000원100,000원

  • 논문발표자는 오프라인 참가등록 및 발표를 원칙으로 합니다.
    • 단, 부득이한 사정으로 오프라인 발표가 불가한 경우, 발표 동영상 제출 가능 (학술위원장의 허가 필요)
  • 한국정보과학회 회원/비회원 참가비 동일
  • 사전등록, 숙박안내 및 오시는 길: https://www.kiise.or.kr/conference/conf/121/ 2023년 1월 27일 (금) 1월 31일(화) 까지
  • 참가등록문의: 한국정보과학회 오다름 주임 (Email: dareum89@kiise.or.kr, Tel. 070-4800-4012)
    • 납입증명서, 참가확인서(행사종료 후) 요청 가능
  • 기타문의
    • 행사관련: 전북대학교 류덕산 교수 (Email: duksan.ryu@jbnu.ac.kr, Tel. 063-270-4805)
    • 논문관련: KAIST 지은경 교수 (Email: ekjee@se.kaist.ac.kr, Tel. 042-350-7810)

▣ 프로그램

프로그램북 다운로드: [V1.3 PDF] , 프로시딩 다운로드: [KCSE2023 Proceedings]

▣ 학술대회 조직 구성

  • 대회장: 고인영 교수 (KAIST), 이은서 교수(안동대)
  • 조직위원장: 류덕산 교수 (전북대)
  • 조직위원: 김순태 교수(전북대), 김정아 교수(가톨릭관동대), 남재창 교수(한동대), 백종문 교수(KAIST), 유철중 교수(전북대), 이은서 교수(안동대), 이지현 교수(전북대), 강성주 박사(ETRI), 권원일 대표(STA테스팅컨설팅), 민상윤 대표(솔루션링크), 이해서 대표(ESG), 전진옥 사장(비트컴퓨터)
  • 학술위원장: 지은경 교수(KAIST)
  • 학술위원: 김동선 교수(경북대), 김문주 교수(KAIST), 김미정 교수(UNIST), 김윤호 교수(한양대), 김진대 교수(서울과학기술대), 김진현 교수(경상대), 김태호 박사(ETRI), 김택수 박사(삼성전자), 마유승 박사(ETRI), 박수진 교수(서강대), 배경민 교수(POSTECH), 서영석 교수(영남대), 서주영 교수(아주대), 오학주 교수(고려대), 유신 교수(KAIST), 윤회진 교수(협성대), 이석원 교수(아주대), 이선아 교수(경상대), 이우석 교수(한양대), 이우진 교수(경북대), 이은주 교수(경북대), 이정원 교수(아주대), 이주용 교수(UNIST), 이찬근 교수(중앙대), 이희진 교수(한국폴리텍대학), 정우성 교수(서울교대), 채흥석 교수(부산대), 최윤자 교수(경북대), 한종대 교수(상명대), 홍신 교수(한동대), 홍장의 교수(충북대)

▣ KCSE2023 후원 업체