“지능형 개발 기술과 소프트웨어 공학의 미래”
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월 20일(금)
  • 심사 결과 통보: 2025년 1월 6일(월)
  • 최종 원고 제출 및 사전등록 마감: 2025년 1월 10일(금)

▣ 논문 양식 및 제출처

▣ 학술대회 사전등록

  • 사전등록: 2025년 1월 10일(금)까지 
  • 참가등록: https://sigsoft.or.kr/kcse2025에 결제 링크 게시 예정
  • 참가 등록 문의: 한국정보과학회 오다름 대리 (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), 차수영 교수(성균관대), 최윤자 교수(경북대), 채흥석(부산대), 한종대 교수(방송대), 홍신 교수(한동대), 홍장의 교수(충북대)

▣ 후원업체

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 후원 업체

“신뢰할 수 있는 인공지능을 위한 소프트웨어공학 기술”

오프라인 개최 (온라인 병행)
https://sigsoft.or.kr/KCSE2022
http://kcse2022.userinsight.co.kr (온라인 학술대회)

[프로그램북][KCSE 2022 proceedings][KCSE 2022 사진 링크]


▣ 일시: 2022년 1월 19일(수) ~ 1월 21일 (금)
▣ 주최: 한국정보과학회, 한국정보처리학회
▣ 주관: 한국정보과학회 소프트웨어공학 소사이어티, 한국정보처리학회 소프트웨어공학연구회
▣ 후원: ETRI(한국전자통신연구원), ㈜솔루션링크, ㈜비트컴퓨터, ㈜유정인베스트먼트, 한국소프트웨어기술진흥협회(KOSTA), T3Q㈜, ㈜다한테크, ㈜브이웨이, 브이플러스랩㈜, 슈어소프트테크㈜, ㈜이에스지, ㈜코어다트랩, STA테스팅컨설팅㈜, TTA소프트웨어시험인증연구소, 서강대 적응형 블록체인플랫폼기술 연구센터, KAIST 빅데이터 엣지클라우드 서비스 연구센터


▣ 모시는 글
소프트웨어공학 학술대회(KCSE 2022) 참가자 여러분을 환영합니다.

KCSE (Korea Conference on Software Engineering)는 기업, 연구소 및 학계에서 활동하고 계신 소프트웨어공학 분야 전문가들의 모임으로, 한국정보과학회 소프트웨어공학 소사이어티와 한국정보처리학회 소프트웨어공학연구회가 소프트웨어공학 기술의 발전 및 적용 확산을 위하여 1999 년부터 매년 개최하는 학술대회 입니다.

이번 제24회 학술대회는 “신뢰할 수 있는 인공지능을 위한 소프트웨어공학 기술”을 주제로, 기조 연설, 튜토리얼, 신진 연구자 발표, 우수 논문 발표 등의 초청 세션과 소프트웨어공학 분야의 각계에서 제출한 엄선된 논문으로 구성하였으며, 2022년 1월 19일부터 3일간에 걸쳐 진행하게 되었습니다.

이번 학술대회는 오프라인 중심, 온라인 병행으로 진행하고자 계획하고 있습니다만 추후 온라인 중심, 오프라인 병행으로 변경될 수 있음을 말씀드립니다. 온라인이든 오프라인이든 소통 방식과는 무관하게 이제는 시간과 공간의 한계를 넘어서는 교류의 시대가 되었습니다. 이번 KCSE 2022 학술대회가 소프트웨어공학을 연구하고, 적용하는 모든 연구자 그리고 전문가 여러분께 즐겁고 활기찬 학술 교류 및 기술 협력의 장이 될 수 있도록 철저한 방역과 다양한 프로그램으로 진행하고자 하오니 여러분의 많은 관심과 참여를 부탁드립니다.

제24회 KCSE 학술행사를 위해 수고해 주신 조직위원회와 학술위원회 위원들, 후원 기관 관계자 여러분, 그리고 기조 연설을 포함한 학술대회 모든 발표자분들께 깊이 감사드리며 건승을 기원합니다.

한국정보과학회 소프트웨어공학 소사이어티 회장 홍장의
한국정보처리학회 소프트웨어공학연구회 운영위원장 김정아

▣ 기조 강연
• 기조강연 1: “SE 관련 교육과 인재양성” – 권기현 교수, 경기대
• 기조강연 2: “Software Defined Weapon – Open Innovation을 통한 신뢰성있는 자율화 무기체계의 개발” – 김동환 연구위원, LIG 넥스원


▣ 튜토리얼
• T1: 김동선 (경북대학교) – “프로그램 자동 수정: 기초와 원리, 그리고 패턴 추출”
• T2: 박창규 (삼성전자) – “Challenges on System IP Design Automation Software”
• T3: 정세린 (와이즈스톤) – “신뢰성 있는 인공지능 품질평가방안 및 사례”
• T4: 이우석 (한양대학교) – “프로그램 합성 소개”
• T5: 황성재 (성균관대) – “Towards Secure Interoperation in Android”
• T6: 이재용 (한서대) – “소프트웨어 개발에서의 프로그래밍 심리학”


▣ 우수 국제학회/학술지 초청 논문발표
• “SymTuner: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters”, ICSE 2022 (고려대)
• “NPEX: Repairing Java Null Pointer Exceptions without Tests”, ICSE 2022 (고려대)
• “JEST: N+1-Version Differential Testing of Both JavaScript Engines and Specification”, ICSE 2021, 박지혁 (KAIST)
• “JSTAR: JavaScript Specification Type Analyzer using Refinement”, ASE 2021, 박지혁 (KAIST)
• “Efficient SMT-Based Model Checking for Signal Temporal Logic”, ASE 2021, (POSTECH)
• “Ahead of Time Mutation Based Fault Localisation using Statistical Inference”, ISSRE 2021, 김진한 (KAIST)
• “Observation-based approximate dependency modeling and its use for program slicing”, Journal of Systems and Software 2021, 이성민 (KAIST)
• “HOTFUZ: cost-effective higher-order mutation-based fault localization”, Software Testing, Verification and Reliability, 2021, 장종인 (KAIST)

▣ 신진 연구자 초청 발표
• 김미정 (UNIST): “머신러닝 소프트웨어를 위한 자동화 테스팅 기술”
• 이낙원 (KAIST): “빠른 추상 도달가능성 분석을 위한 새로운 목표 지향 모델 체킹 (A Novel Target Directed Model Checking for Fast Abstract Reachability Analysis)”
• 이준영 (CryptoLab): “A Robust Foundation for the Correctness of LLVM Compiler”
• 양근석 (경남대): 오픈소스 소프트웨어에서의 버그 정정 관리를 위한 지능형 프레임워크
• 손현승 (목포대): Metamodel and Model Transformation for SW Visualization
• 박보경 (진주교육대): 비형식 요구사항 기반 유스케이스 추출을 통한 노력 추정 방법

▣ 워크숍 (Closed)
• 서강대 적응형 블록체인 플랫폼 기술 연구센터
• KAIST 빅데이터 엣지 클라우드 서비스 연구센터

▣ 프로그램


▣ 참가등록
• 백신 접종완료자(학회 참석일로부터 2주 전) 또는 PCR 검사 음성확인자만 참가 가능합니다.
• 백신 미접종자 또는 미완료자는 PCR 검사 음성확인서를 지참하시기 바랍니다.
• PCR 검사는 문자 혹은 종이로 통보 받은 시간부터 48시간이 경과되는 자정까지만 유효합니다. (따라서 21일 학회종료시점인 정오까지 참석하시기 위해서는 19일 오전에 통보를 받으신 내역이어야 합니다. 20일까지만 참석하실 예정이시면 18일 오전 문자 통보 내역도 인정)

• 1/3일 이후 방역패스 유효기간은 코로나19 백신 2차접종후 6개월(180일)입니다. 따라서 유효기간 만료가 임박한 경우에는 3차 접종후 혹은 PCR검사 음성확인후 참석 부탁드립니다.
• 19, 20, 21일 체온이 37.5도 이상인 경우, 학회 입장이 불가합니다.

• 참가등록비

• 논문발표자는 오프라인 참가등록 및 발표를 원칙으로 합니다. 단, 코로나 바이러스 방역상의 이유로 오프라인 발표가 불가한 경우 학술위원장의 허가 후 온라인 발표
• 한국정보과학회 회원/비회원 참가비 동일
• 사전등록 사이트: http://kiise.or.kr/conference/conf/100/
• 사전 등록 문의: 한국정보과학회 정가영 대리 (Email: gyjeong@kiise.or.kr, Tel. 02-588-4001)
o 납입증명서, 참가확인서(행사종료 후) 요청 가능
• 기타문의:
o 등록관련 아주대학교 이정원 교수 (Email: jungwony@ajou.ac.kr, Tel. 031-219-1959)
o 논문관련 UNIST 이주용 교수 (Email: jooyong@unist.ac.kr, Tel. 052-217-2123)

▣ 학술대회 조직 구성
• 대회장: 홍장의 (충북대), 김정아 (가톨릭 관동대)
• 조직위원장: 이정원 (아주대)
– 조직위원: 고인영 교수(KAIST), 김순태 교수(전북대), 김정아 교수(가톨릭관동대), 류덕산 교수(전북대), 백종문 교수(KAIST), 유준범 교수(건국대), 이선아 교수(경상대), 이찬근 교수(중앙대), 한종대 교수(상명대), 정효택 박사(ETRI), 민상윤 대표(솔루션링크), 전진옥 사장(비트컴퓨터), 박병훈 대표(T3Q), 박준석 회장(한국소프트웨어기술진흥협회)

• 학술위원장: 이주용 교수 (UNIST)
– 학술위원: 김동선 교수(경북대), 김문주 교수(KAIST), 김미정 교수(UNIST), 김윤호 교수(한양대), 김진대 교수(서울과학기술대), 김진현 교수(경상대), 김태호 박사(ETIR), 김택수 박사(삼성전자), 남재창 교수(한동대), 류덕산 교수(전북대), 박수진 교수(서강대), 배경민 교수(POSTECH), 서영석 교수(영남대), 오학주 교수(고려대), 유신 교수(KAIST), 윤회진 교수(협성대), 이우석 교수(한양대), 이우진 교수(경북대), 정우성 교수(서울교대), 지은경 교수(KAIST), 채흥석 교수(부산대), 최윤자 교수(경북대), 홍신 교수(한동대)

“비대면 시대를 지원하는 소프트웨어공학 기술”

http://kcse2021.userinsight.co.kr/  [KCSE 2021 사진 링크] [프로그램북] [KCSE2021-proceedings-v9]

 

▣ 일시: 2021년 2월 1일(월) – 2월 2일(화)

▣ 주최: 한국정보과학회, 한국정보처리학회

▣ 주관: 한국정보과학회 소프트웨어공학 소사이어티, 한국정보처리학회 소프트웨어공학연구회

▣ 후원: ETRI(한국전자통신연구원), 솔루션링크, ㈜비트컴퓨터, ㈜이에스지, STA테스팅컨설팅㈜, T3Q㈜

한국소프트웨어기술진흥협회(KOSTA), ㈜다한테크, 슈어소프트테크㈜

 

▣ 모시는 글

소프트웨어공학 학술대회(KCSE 2021) 참가자 여러분을 환영합니다.

KCSE (Korea Conference on Software Engineering)는 기업, 연구소 및 학계에서 활동하고 계신 소프트웨어공학 분야 전문가들의 모임으로, 한국정보과학회 소프트웨어공학 소사이어티와 한국정보처리학회 소프트웨어공학연구회가 소프트웨어공학 기술의 발전 및 적용 확산을 위하여 1999년부터 매년 개최하는 학술대회입니다.

이번 제23회 학술대회는 “비대면 시대를 지원하는 소프트웨어공학 기술”을 주제로, 기조 연설, 튜토리얼, 신진 연구자 발표, 우수 논문 발표 등의 초청 세션과 소프트웨어공학 분야의 각계에서 제출한 엄선된 40편의 논문으로 구성하였으며, 2021년 2월 1일부터 2일간에 걸쳐 비대면으로 진행하게 되었습니다.

이번 학술대회가 비록 온라인으로 진행되어 아쉽지만, 소프트웨어공학의 학문적 발전과 소프트웨어 산업기술 발전의 장이 되고, 학술 교류 및 기술 협력을 위한 활발한 토론장이 될 수 있도록 가상 공간에서의 즐거운 만남으로 여러분을 초대하오니 많은 참여를 부탁드립니다.

제23회 KCSE 학술행사를 위해 수고해 주신 조직위원회와 학술위원회 위원들, 후원 기관 관계자 여러분, 그리고 기조 연설을 포함한 학술대회 모든 발표자분들께 깊이 감사드리며 건승을 기원합니다.

 

KCSE 2021 공동대회장

한국정보과학회 소프트웨어공학소사이어티 홍장의

한국정보처리학회 소프트웨어공학연구회 김정아

 

▣ 기조강연

  • 기조강연 1: “Non-Functional Requirements in Software Engineering” – Prof. Lawrence Chung, UT Dallas
  • 기조강연 2: “Adaptive Software Engineering” – 배두환 교수, KAIST

▣ 튜토리얼

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

  • “SAVER: Scalable, Precise, and Safe Memory-Error Repair”, ICSE, 2020
  • “The effectiveness of context-based change application on automatic program repair”, Journal of Empirical Software Engineering (EMSE), 2020
  • “MAESTRO: Automated test generation framework for high test coverage and reduced human effort in automotive industry”, ICSE Software Engineering In Practice (SEIP), 2020
  • “Predicting just‐in‐time software defects to reduce post‐release quality costs in the maritime industry”, Journal of Software Practice and Experience (SPE), 2020
  • “Property-based Testing for LG Home Appliances using Accelerated
    Software-in-the-Loop Simulation”,     ICSE Software Engineering In Practice (SEIP), 2020

▣ 신진 연구자 초청 발표

  • 김윤호 교수 (한양대학교): “Better, Cheaper, and Faster Than Humans: Automated Test Generation for Improving Software Quality”
  • 이성호 교수 (충남대학교): “다중언어 안드로이드 앱의 정적 분석 (Static Analysis for Multilingual Android Applications)”  (신진1 – 이성호)
  • 이의종 교수 (충북대학교): “모델 검증 기법을 적용한 자가–적응 소프트웨어 프레임워크 (Self-Adaptive Software Framework with Model-checking)”  (신진2 – 이의종)
  • 이윤규 교수 (서울여자대학교): TBA

 

▣ 프로그램

2020년 2월 1일 (Day 1)
시간 세션 1 세션 2
9:30 ~ 10:00 개회식 / 학술대회 공지
10:00 ~ 10:50 기조연설 1
11:00 ~ 11:50 튜토리얼 #1 신진연구자 소개 #1
11:50 ~ 13:10 점심식사
13:10 ~ 14:00 튜토리얼 #2 신진연구자 소개 #2
14:10 ~ 15:00 논문발표 #1 신진연구자 소개 #3
15:10 ~ 16:00 논문발표 #2 논문발표 #3
16:10 ~ 17:00 논문발표 #4 논문발표 #5
17:10 ~ 18:00 논문발표 #6 논문발표 #7
18:00 ~ 18:10 마무리

 

2020년 2월 2일 (Day 2)
시간 세션 1 세션 2
9:30 ~ 9:50 개회식 / 학술대회 공지
10:00 ~ 10:50 튜토리얼 #3 신진연구자 소개 #4
11:00 ~ 11:50 논문발표 #8 논문발표 #9
11:50 ~ 13:10 점심식사
13:10 ~ 14:00 논문발표 #10 논문발표 #11
14:10 ~ 15:00 논문발표 #12 논문발표 #13
15:10 ~ 16:00 논문발표 #14 논문발표 #15
16:10 ~ 17:00 기조연설 2
17:10 ~ 18:00 상장 수여 및 경품 추첨
18:00 ~ 18:10 마무리

▣ 참가등록

  • 참가비(발표/참가): 학생 (100,000/50,000원) , 일반 (150,000/100,000원)
  • 사전등록기간:  2020년 1월 24일(금) 24:00 까지 1월 28일(목)까지
  • 한국정보과학회 회원/비회원 참가비 동일
  • 사전등록 사이트: http://kiise.or.kr/conference/conf/088/
  • 사전 등록 문의: 한국정보과학회 정가영 주임 (Email: gyjeong@kiise.or.kr, Tel. 02-588-4001)
    • 납입증명서, 참가확인서(행사종료 후) 요청 가능
  • 기타문의 : 전북대학교 김순태 교수 (Email: stkim@jbnu.ac.kr, Tel. 063-270-4788)

 

▣ 학술대회 조직 구성

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

 

“AI를 완성하는 소프트웨어공학 기술”

https://www.sigsoft.or.kr/KCSE2020/

 

▣ 일시: 2020년 2월 3일(월) – 2월 5일(수)

▣ 장소: 강원도 평창 한화리조트 (휘닉스파크점)

▣ 주최: 한국정보과학회, 한국정보처리학회

▣ 주관: 한국정보과학회 소프트웨어공학 소사이어티, 한국정보처리학회 소프트웨어공학연구회

▣ 후원: ETRI(한국전자통신연구원), 솔루션링크, ㈜비트컴퓨터, ㈜모아소프트, ㈜이에스지,

한국소프트웨어기술진흥협회(KOSTA), T3Q㈜, ㈜다한테크, 슈어소프트테크㈜, ㈜온페이스, STA테스팅컨설팅㈜,

TTA소프트웨어시험인증연구소, ㈜에스피아이디, 신뢰적 지능형 CPS 연구단

 

▣ 모시는 글

소프트웨어공학인의 축제인 제 22회 한국 소프트웨어공학 학술대회(KCSE 2020) 참가자 여러분을 환영합니다.
기업, 연구소 및 학계에서 활동하고 계신 소프트웨어공학 분야 전문가들의 모임인 한국정보과학회 소프트웨어공학 소사이어티와 한국정보처리학회 소프트웨어공학연구회는 소프트웨어공학 기술의 발전 및 적용확산을 위하여 산, 학, 연과의 협력으로 한국 소프트웨어공학 학술대회를 개최하게 되었습니다.
최근 인공지능(AI)이 널리 확산되어 스스로 사람처럼 학습하고 판단하여 그 결과를 빠르고 정확하게 보여주어 세상을 변화시키는 중요한 기술과 방법으로 인식되고 있습니다. 이러한 인공지능의 핵심은 소프트웨어 기술이므로 KCSE 2020 학술대회에서는 “AI를 완성하는 소프트웨어공학 기술”을 주제로 하여 소프트웨어공학 분야의 각계에서 제출한 81편의 논문이 발표됩니다.
먼저, 스마트 SW 개발, 인공지능과 인간의 공존, 그리고 포스트 휴머니즘, 데이터 중심 혁신을 통한 AI 응용 구축 등 소프트웨어공학의 중요한 이슈와 미래방향에 대하여 세 분의 저명인사께서 기조강연을 해 주십니다. 또한 ADOxx Meta-Modeling Platform, Concolic 유닛 테스팅, SW 안전 확보를 위한 기법, 블록체인, 의미 기반 프로그램 수정 등의 최근 기술 동향과 소프트웨어공학의 핵심기술을 학습할 수 있는 튜토리얼이 준비되어 있습니다. 특히, 우수국제학술대회 논문 3편, 우수국제저널 논문 2편, 소프트웨어공학 소사이어티 논문지 논문 2편을 초청하여 프로그램을 구성했습니다. 그리고 소프트웨어 테스트 환경 순위화, 자동 패치 생성, 프로그램 분석을 위한 휴리스틱 학습 등의 최근 연구 주제에 대하여 세 분의 박사께서 세미나를 해 주십니다.
본 학술대회가 소프트웨어공학의 학문적 발전과 소프트웨어 산업기술 발전의 장이 되고, 학술 교류 및 기술 협력을 위한 활발한 토론장이 될 수 있도록 여러분의 적극적인 참여를 부탁드립니다.
본 KCSE 2020 행사를 위해 수고해 주신 조직위원회와 학술위원회 위원들과 여러 후원 기관에 깊이 감사드립니다.

 

▣ 기조강연

  • 김강태 상무 (삼성전자) : “Smart S/W Development : AI for Software Engineering”
  • 이중원 교수 (서울시립대, 한국철학회 차기회장) : “인공지능과 인간의 공존, 그리고 포스트 휴머니즘”
  • 최창남 부문장 (한국 오라클) : “Build AI-Powered Applications through Data driven Innovation”

 

▣ 튜토리얼

  • T1: 이문근 교수 (전북대학교) : “ADOxx Meta-Modeling Platform” – [강연자료]
  • T2: 김윤호 교수 (KAIST) : “Concolic 유닛 테스팅” – [강연자료]
  • T3: 차성덕 교수 (고려대학교) : “전산학 논문 작성법 (Technical Writing in English)” – [강연자료]
  • T4: 최영재 팀장 (STA 테스팅 컨설팅) : “AI 시스템의 품질 특성 및 검증 방법” – [강연자료]
  • T5: 지은경 교수 (KAIST) : “SW 안전 확보를 위한 기법: 도메인 적용 방안 및 사례”
  • T6: 김순태 교수 (전북대학교) : “블록체인의 핵심 개념, 산업별 응용 사례 그리고 소프트웨어공학 연구 이슈 소개”
  • T7: 이주용 교수 (UNIST) : “의미 기반 프로그램 수정 (Semantics-based Program Repair)”

 

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

  • “Precise Learn-to-Rank Fault Localization using Dynamic and Static Features of Target Programs” ACM Transactions on Software Engineering and Methodology (TOSEM), 2019
  • “Automatic Detection and Update Suggestion for Outdated API Names in Documentation” IEEE Transactions on Software Engineering (TSE), 2019
  • “Concolic Testing for High Test Coverage and Reduced Human Effort in Automotive Industry” The 41st ACM/IEEE International Conference on Software Engineering (ICSE 2019)
  • “Model checking embedded control software using OS-in-the-loop CEGAR” The 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)
  • “Effect-driven Dynamic Selection of Physical Media for Visual IoT Services using Reinforcement Learning” The 24th IEEE International Conference on Web Services (ICWS 2019)

 

▣ 신진 연구자 초청 발표

  • 권정현 박사 (KT) : “Prioritizing test environments for cost-effective software test in continuous integration”
  • 김진대 박사 (홍콩과기대 졸업) : “Automatic Patch Generation with Context-based Change Application”
  • 정세훈 박사 (고려대학교 졸업) : “Learning Heuristics for Fast and Precise Java Points-to Analysis”

 

▣ 프로그램






 

▣ 만찬 초청공연

  • [음악으로 만나는 글로벌 인문학] 유럽 음악 페스티벌의 현장을 가다.
  • 정지훈 음악평론가 [페스티벌_안내장_L_1907]

 

▣ 참가등록

  • 참가비(사전/현장) : 학생 (180,000/200,000원) , 일반 (240,000/260,000원)
  • 사전등록기간: 2020년 1월 24일(금) 24:00까지 1월 30일(목) 까지
  • 한국정보과학회 회원/비회원 참가비 동일
  • 사전등록 및 숙박 예약 사이트: http://kiise.or.kr/conference/conf/071/
  • 등록문의 : 한국정보과학회 최희수 대리 (Email: hschoi@kiise.or.kr, Tel. 02-588-9246)
    • 납입증명서, 참가확인서(행사종료 후) 요청 가능
  • 기타문의 : 가톨릭관동대학교 김정아 교수 (Email: clara@cku.ac.kr, clarakja@gmail.com, Tel. 033-649-7801)
    • 식사 쿠폰 현장구매 가능
    • 휘닉스파크 스키리프트, 장비, 사우나, 블루캐니언(수영장) 40%~60% 할인 – KCSE 2020 명찰 제시

 

▣ 학술대회 조직 구성

  • 대 회 장: 이병정 교수 (서울시립대학교), 김정아 교수 (가톨릭관동대학교)
  • 조직위원장: 김정아 교수 (가톨릭관동대학교)
  • 조직위원:
    • 홍장의 교수(충북대), 백종문 교수(KAIST), 이정원 교수(아주대), 고인영 교수(KAIST),
      김순태 교수(전북대), 한종대 교수 (상명대), 이선아 교수(경상대),
      정효택 박사(ETRI), 민상윤 대표(솔루션링크), 전진옥 사장(비트컴퓨터),
      이해서 대표(이에스지), 박병훈 대표(티쓰리큐), 장주수 대표(모아소프트)
  • 학술위원장: 유준범 교수 (건국대학교)
  • 학술위원:
    • 김문주 교수(KAIST), 김영철 교수(홍익대), 남재창 교수(한동대), 류덕산 교수(전북대),
      박수진 교수(서강대), 배경민 교수(포항공대), 서영석 교수(영남대), 서주영 교수(아주대),
      이관우 교수(한성대), 이우진 교수(경북대), 이지현 교수(전북대), 이찬근 교수(중앙대),
      윤회진 교수(협성대),         염근혁 교수(부산대), 지은경 교수(KAIST), 최윤자 교수(경북대),
      채흥석 교수(부산대), 홍신 교수(한동대)

 

“초연결·초지능·초융합을 위한 소프트웨어공학 기술”

https://www.sigsoft.or.kr/KCSE2019/

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

 

▣ 모시는 글
한국정보과학회와 한국정보처리학회가 공동 주최하고 한국정보과학회의 소프트웨어공학 소사이어티와 한국정보처리학회의 소프트웨어공학 연구회가 공동 주관하는 “2019 한국 소프트웨어공학 학술대회 (KCSE2019)”가 2019년 1월 28일부터 1월 30일까지 강원도 평창 한화리조트 (휘닉스파크점)에서 개최됩니다. 특히 이번 행사에서는 “초연결ž초지능ž초융합을 위한 소프트웨어공학 기술”을 주제로 다양한 논문 발표 및 토론이 있을 예정입니다. 이에 아래와 같이 논문을 모집하오니 여러분의 많은 참여를 부탁드립니다.

 

▣ 주요 일정

  • 패널/워크샵/튜토리얼 제안서 접수: 2018년 11월 30일 (금) – 결과 일주일 내 통보
  • 논문접수 마감: 2018년 12월 21일 (금)  → 마감 연장: 2018년 12월 28일 (금) → 마감 연장: 2019년 1월 4일 (금)
  • 심사결과 통보: 2019년 1월 11일 (금)
  • 최종원고 제출: 2019년 1월 18일 (금)

 

▣ 프로그램

[KCSE 2019 Booklet 다운로드] / [KCSE 2019 프로시딩 다운로드]
[KCSE 2019 사진 링크]

 





 

▣ 튜토리얼 구성

  • T1: 소프트웨어 테스팅 (권원일 대표, (주)STA테스팅컨설팅)
  • T2: 확률적 프로그래밍 (양홍석 교수, KAIST)
  • T3: Hyperledger 블록체인 (박용범 교수, 단국대학교)
  • T4: SW 위험원 분석 (권기현 교수, 경기대학교)
  • T5: 프로그램 분석/결함 검출 (류석영 교수, KAIST)
  • T6: 데이터 사이언스 (박찬진 상무, SK Hynix)

 

▣ 참가등록

  • 참가비(사전/현장) : 학생 (180,000/200,000원) , 일반 (240,000/260,000원)
  • 사전등록기간: 2019년 1월 18일(금) 18:00까지
    • 한국정보과학회 회원/비회원 참가비 동일
  • 사전등록 사이트 : http://kiise.or.kr/conference/conf/041/
  • 문의처
    • 등록문의 : 한국정보과학회 정가영 주임 (Email: gyjeong@kiise.or.kr , Tel. 02-588-4001)
      • 거래명세서, 영수증, 참가확인서 요청 가능
    • 기타문의 : 충북대학교 홍장의 교수 (Email:  jehong@chungbuk.ac.kr,  Tel. 043-261-2261)
      • 식사 쿠폰 현장구매 가능
      • 휘닉스파크 스키리프트, 사우나 및 블루캐니언(수영장) 40% 할인 – KCSE 2019  명찰 제시 

 

▣ 발표안내

  • 발표시간: 초청논문(30분) , 산업체/일반논문(20분), 학부/단편논문(15분)
  • 발표와 질의응답을 포함한 시간입니다.
  • 참가지 등록을 하지 않거나, 미발표 논문은, 최종 논문집에서 제외됩니다.

 

▣ 학술대회 조직 구성

  • 대 회 장: 이병정 교수 (서울시립대학교), 김정아 교수 (가톨릭관동대학교)
  • 조직위원장: 홍장의 교수 (충북대학교)
  • 학술위원장: 김순태 교수 (전북대학교)

“지능정보사회를 위한 소프트웨어공학 기술”

https://www.sigsoft.or.kr/KCSE2018/

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

 

▣ 모시는 글
한국정보과학회와 한국정보처리학회가 공동 주최하고 한국정보과학회의 소프트웨어공학 소사이어티와 한국정보처리학회의 소프트웨어공학 연구회가 공동 주관하는 “2018 한국 소프트웨어공학 학술대회 (KCSE2018)”가 2018년 1월 29일부터 1월 31일까지 강원도 평창 한화리조트 (휘닉스파크점)에서 개최됩니다. 특히 이번 행사에서는 “지능정보사회를 위한 소프트웨어공학 기술”을 주제로 다양한 논문 발표 및 토론이 있을 예정입니다. 여러분의 많은 참여를 부탁드립니다.

 

▣ 학술대회 조직 구성

  • 대 회 장: 강성원 (KAIST), 박용범 (단국대)
  • 조직위원장: 이병정 (서울시립대)
  • 조직위원: 고인영 (KAIST), 백종문 (KAIST), 유준범 (건국대), 이관우 (한성대), 이선아(경상대), 이정원 (아주대), 이찬근 (중앙대)
  • 학술위원장: 최윤자 (경북대)
  • 학술위원: 권영우 (경북대), 김문주 (KAIST), 김순태 (전북대),김정아 (관동대), 남재창 (포항공대), 박수진 (서강대), 배경민 (포항공대), 서주영 (아주대), 염근혁 (부산대), 유신 (KAIST), 유철중 (전북대), 윤일철 (U. of Maryland), 이우진 (경북대), 이지현 (전북대), 정우성 (서울교대), 채흥석 (부산대), 홍신 (한동대), 홍장의 (충북대)

– KCSE 2018 사진 링크: https://goo.gl/PnKnXf

▣ 프로그램 개요 (아래 일정은 사정에 따라 변경될 수 있습니다.) (세부프로그램 다운로드[word][pdf])

[KCSE 2018 프로시딩 다운로드]

– 개회식 참여시 경품추첨권 2매 추가 지급
– 아침 세션 참석시: 경품추첨권 2매 추가 지급(오전 9시까지 도착자에 한함)

 

1월 29일(월) 

시간 행사내용
12:00-13:00 등록
13:00-14:30 튜토리얼1 튜토리얼2 튜토리얼3 워크숍
(지능형
블록체인
연구센터)
14:30-14:40 휴식
14:40-16:10 튜토리얼4 튜토리얼5 튜토리얼6
16:10-16:20 휴식
16:20-16:40 개회식
(축사: 홍봉희 정보과학회 회장)
16:40-17:30 기조연설 1
전진옥 대표 (비트컴퓨터)
17:30-18:20 신임 교수 초청 세미나
배경민 교수
(포항공대)		 홍신 교수
(한동대)		 권영우 교수
(경북대)
18:20-19:10 석식

1월 30일(화)

시간 행사내용
09:00-10:40 논문발표 A1 논문발표 A2 논문발표 A3 논문발표 A4 워크숍
(신뢰적
지능형
CPS
연구단)
10:40-10:50 휴식
10:50-12:30 논문발표 B1 논문발표 B2 논문발표 B3 논문발표 B4
12:30-13:30 중식
13:30-15:30 논문발표 C1 논문발표 C2 논문발표 C3 논문발표 C4
(SW중심대학)
15:30-15:45 휴식
15:45-16:45 초청 세미나
김성훈 교수(홍콩과기대/네이버)
16:45-17:00 휴식
17:00-18:00 기조연설 2
김명준 소장 (소프트웨어 정책연구소)
18:00-21:00 우수논문상, 공로상, 감사장 수여식 및 만찬

1월 31일(수)

시간 행사내용
09:00-10:30 논문발표 D1 초청세미나
(우수 국제학술대회 논문)		 초청세미나
(우수 국제학술대회 논문)
10:30-10:40 휴식
10:40-12:00 논문발표 E1 논문발표 E2 논문발표 E3 논문발표 E4
12:00-12:30 폐회식

 

▣ 등록기간

사전등록 마감일 : ~2018.01.19(금)

“평창동계올림픽 준비로 인하여 1월 22일부터 일반인의 스키장 이용이 통제됨을 알려드립니다.”

▣ 학술대회 등록비

등록 구분 회원 구분 학생 일반
사전 등록 회원 구분 없음 18만원 24만원
현장 등록 회원 구분 없음 20만원 26만원

▣ 등록방법

사전 등록
– 정보과학회 KCSE2018 학회등록 사이트:http://www.kiise.or.kr/conference/conf/007/
– 계좌이체 또는 카드결제 가능
등록결과 확인
– http://www.kiise.or.kr/conference/conf/007/ 참가등록->참가현황

▣ 숙박 예약
– 숙박예약기간: ~2018년 1월 19일(금)

객실요금 (객실의 구조는 http://hanwharesort.co.kr ->휘닉스파크->객실안내 에서 확인가능)

객실타입 할인요금(VAT포함) 비고
38py 15만원 5인기준

– 객실예약의 경우 1/31(수), 2/1(목)까지 동일 요금으로 이용 가능합니다.

객실예약 방법 : 객실예약신청서를 작성해서 아래 e-mail로 전송[객실예약신청서 다운로드]

  • e-mail 제목에 “소프트웨어공학 학술대회 참석자“라고 기재
  • 주의: 예약은 e-mail로만 받습니다. (문의시에만 전화주시기 바랍니다.)

“사우나 및 블루캐니언(수영장) 40%할인: KCSE 2018 명찰 제시”

  • 예약신청 e-mail: hudadak81@hanwha.com
  • 연락처: 조원상 대리 02-789-5191

 

▣ 문의사항 및 연락처

  • 조 직: 이병정 교수(bjlee@uos.ac.kr 02-6490-6600)
  • 학 술: 최윤자 교수(yuchoi76@knu.ac.kr 053-950-7549)
  • 등 록: 오다름 사원(한국정보과학회 dareum89@kiise.or.kr 070-4800-4012)
  • 숙 박: 조원상 대리(hudadak81@hanwha.co.kr 02-789-5191)
  • 세부 프로그램 안내: KCSE2018학회홈페이지 https://www.sigsoft.or.kr/KCSE2018/

 

제 19회 한국 소프트웨어공학 학술대회 논문집 다운로드(KCSE 2017)

튜토리얼

  • T1 : Agile 개발환경의 중요성과 구축방안 – 김웅환 기술고문(SK Planet)
  • T2 : SW 개발시 오픈소스 SW 활용과 소프트웨어공학 고려사항 – 송상효 교수(성균관대)
  • T3 : 소프트웨어 아키텍처 분석과 평가 – 금상섭 책임(한국전자통신연구원)
  • T4 : 사례 중심으로 소개하는 OOAD – 이병정 교수(서울시립대)
  • T5 : 블록체인 기초 이론과 활용 – 박용범 교수(단국대)
  • T6 : 소프트웨어 아키텍처 모듈-뷰 복원을 윟나 자동화 기법 – 이찬근 교수(중앙대)

A1 : SW 품질 1

  • 소프트웨어 품질 측정을 위한 데이터 종합에서 역상관 방법 [단편논문] – 안종선, 강성원 (KAIST)
  • 소프트웨어 품질 가시화 전략 – 원격 개발 환경과 서비스 거버넌스 및 빅데이터를 활용한 End to End 모니터링 [후원업체] – 박병훈(티쓰리큐㈜)
  • 코드 수정 단위의 소프트웨어 결함 예측을 위한 정규화 기법 비교 분석 [단편논문] – 정주상, 백종문(KAIST)
  • Usability 와 Security 의 트레이드 오프 제거를 위한 품질 속성 요소 연결 지침 [단편논문] – 노우리, 이석원 (아주대학교)

A2 : 도구 및 개발환경

  • 커널용 메모리 깨짐 검출기 [산업체논문] – 우충기, 권진만, 이승훈, 이학봉, 권재욱 (㈜삼성전자)
  • Toolchain 을 이용한 System Model 생성, 검증 자동화 제안 [단편논문] – 이승민, 박용범 (단국대학교)
  • 코드 클론을 효율적으로 관리하기 위한 시각화 방안 [일반논문] – 김하영, 최은만 (동국대학교)
  • 웨어러블 어플리케이션 개발을 위한 안드로이드 BLE API 에뮬레이터와 확장성에 관한 연구 [단편논문] – 문현아, 박수용 (서강대학교), 최광훈 (전남대학교)

A3 : 보안 1

  • 실시간 파일행위 모니터링을 통한 랜섬웨어 침해복구 연구 [단편논문] – 김재열 (고려대학교)
  • 화이트리스트 기반 감염 프로세스 검출 및 감염원 추적 [단편논문] – 김시론, 박용범 (단국대학교)
  • 데이터 통계를 이용한 국가 사이버위협 경보 수준 판단 [우수단편논문] – 서형준, 조민경, 이상운, 배병철 (한국전자통신연구원 부설연구소)
  • AOP 를 활용한 모바일 클라이언트와 서버간 민감 정보 전송의 동적 모니터링 방법 [단편논문] – 최윤석, 최은만 (동국대학교)

A4 : SW 테스팅 1

  • 국방무인기체계 SW 시험을 위한 DO-178C 적용방안 연구 [산업체논문] – 류인수 ((주) 모아소프트)
  • TPC-DI 기반의 ETL 솔루션 성능 테스트 사례 [산업체논문] – 김상기, 강건희 (한국정보통신기술협회)
  • 벤처/중소기업의 테스트 조직을 위한 한국형 테스트 성숙도 모델 시범 적용 사례 [산업체논문] – 김기두 (한국정보통신기술협회), 김영철 (홍익대학교)
  • 소프트웨어 변경의 테스트 범위를 정의하기 위한 산출물 정보 분석 [일반논문] – 최효린, 이병정 (서울시립대학교), 이정원 (아주대학교)

B1 : 분석 및 평가

  • 추상 도달가능성 그래프 기반 소프트웨어 모델체킹에서의 탐색전략 고려방법 [우수논문] – 이낙원, 백종문 (KAIST)
  • A Unified Approach for UML Based Safety Oriented Level Crossing Using FTA and Model Checking [일반논문] – Anit Thapaliya, Gihwon Kwon (경기대학교)
  • 감정 분석 기반의 사용자 피드백을 이용한 클라우드 서비스 평가 기법 [우수단편논문] – 윤동규, 김웅수, 박준석, 염근혁 (부산대학교)
  • 매쉬업 개발자를 위한 매쉬업 유사도 기반 서비스 추천 방법 [최우수논문] – 김현승, 고인영 (KAIST)

B2 : 유지보수

  • 코드 가독성 측정을 위한 소프트웨어 특징 목록 [단편논문] – 최상철, 김순태 (전북대학교)
  • 객체 지향 프로그램(C++)을 위장한 절차식(C) 패러다임 자동 식별화 구축 [단편논문] – 변은영, 손현승, 장우성, 김영철 (홍익대학교), 김영수 (정보통신산업진흥원)
  • N-그램 모델 기반의 코드 변경 추천 시스템 [단편논문] – 김태현, 강성원 (KAIST), 이선아 (경상대학교), 금창섭 (한국전자통신연구원)
  • 소프트웨어 유지보수 효율 향상 지원을 위한 의사코드 및 소스코드 양방향 자동 변환 연구 [학부논문] – 권혁무, 장현수, 박동민, 서영석 (영남대학교)

B3 : 보안 및 안전성

  • 모바일 아키텍처를 고려한 애플리케이션 보안 취약점 진단 방안 [단편논문] – 김명근, 최은만 (동국대학교)
  • 지능형 지속위협 생애주기를 고려한 보안요구사항 명세 방법 [단편논문] – 김승준, 이석원 (아주대학교)
  • 결함 분류체계와 휴먼 에러 분류체계를 적용한 SW 구현 단계 FMEA 수행 체계 [단편논문] – 최이수, 한동준, 한혁수 (상명대학교)
  • STPA 를 활용한 ISO 26262 기반의 안전분석 체계수립 [박사논문] – 도성룡 (현대오트론), 한혁수 (상명대학교)

B4 : SW 품질 2

  • 안드로이드 버그 분류: 이슈 설명서 기반 버그 담당자 선정 자동화에 대한 연구 [산업체논문] – 최성옥, 조재호, 민모란, 민상윤 (KAIST 소프트웨어대학원)
  • 컴포넌트 단위 학습을 이용한 버그 담당자 추천 [단편논문] – 조충기, 김영민, 이기성, 이찬근 (중앙대학교)
  • I-BL 기술의 성능 향상을 위한 버그리포트 품질 예측 및 자동 재구성 기술 [우수논문] – 김미수, 안준, 이은석 (성균관대학교)
  • 딥 러닝을 이용한 버그 담당자 자동 배정 연구 [우수논문] – 이선로, 김혜민, 이찬근 (중앙대학교)

C1 : 리팩토링 & 유지보수

  • 파일들의 패키지 관계를 반영한 Change Coupling 추출 및 이를 이용한 리팩토링 대상 추천 [학부논문] – 조영준, 허민재, 이찬근 (중앙대학교)
  • 효율적인 리팩토링을 위한 조직 특성의 품질 지표 기반 우선순위 선정 자동화 [단편논문] – 박지훈, 손현승, 박보경, 이진협, 김영철 (홍익대학교)
  • Hadoop Platform 에서 UML 모델 기반 영상 처리 소스 코드 자동 생성 방안 [단편논문] – 고미은, 박용범 (단국대학교)
  • 테스트로부터 소스 코드로의 추적성 향상을 위한 소프트웨어 행위 모델 활용 [일반논문] – 백승석, 이병정 (서울시립대학교), 이정원 (아주대학교)

C2 : 요구공학

  • 인공지능 소프트웨어 개발을 위한 요구공학 프레임워크: 인지컴퓨팅 시스템을 중심으로 [일반논문] – 안우람 김재홍, 김경모(KAIST 소프트웨어대학원), 민상윤(KAIST)
  • 안전 요구사항 추출을 위한 안전성 분석 지침 개발 및 적용 사례 [단편논문] – 정대희, 권기현 (경기대학교)
  • 소프트웨어 요구사항 진화에서의 추적성 관리의 어려움 조사 [일반논문] – 박종열, 류승희, 정세린, 이선아 (경상대학교)
  • 오디오 컨텍스트의 라이프 시맨틱 분석 프레임워크 [최우수논문] – 정한터, 김수동 (숭실대학교), 라현정 ((주)스마트랩)

C3 : 설계 & 모델링

  • JAVA 오픈 소스의 재사용성 및 확장성 향상을 위한 소프트웨어 설계 패턴 추출 기법 [일반논문] – 최용석, 김두환, 홍장의 (충북대학교)
  • 디지털 건강 분석 솔루션을 위한 소프트웨어 플랫폼 설계 [일반논문] – 라현정(스마티랩), 정한터, 임성민, 김수동(숭실대학교)
  • 기능 분석과 아키텍처 패턴을 이용한 자율주행 자동차 소프트웨어 아키텍처 설계 방법 [일반논문] – 김순겸, 김두환, Nazakat Ali, 홍장의 (충북대학교)
  • 행위 모델링 및 조합을 위한 객체지향성 [학부논문] – 김희언 (세종대학교)

C4 : 패턴추출 & 빅데이터

  • Cascade K-Medoids 기반 자바 메소드 식별과 패턴 자동 식별 기법 [단편논문] – 김태영, 김순태, 이정휴 (전북대학교)
  • 딥러닝을 활용한 주행 패턴 특징 추출 연구 [단편논문] – 이주영, 장기태 (한국과학기술원), 이홍석, 정희진 (한국과학기술정보연구원)
  • 추상구문트리의 연어 관계 분석을 통한 Java API 패턴 추출 및 추천 시스템 개발 [최우수논문] – 권찬우, 황상원, 남영광 (연세대학교)
  • 빅데이터 분석 방법론 [후원업체] – 유태빈 (㈜코스콤)

D1 : SW 중심 대학 (초청 발표 세션)

  • 경북대학교 SW 중심대학사업단의 SW 가치확산 활동 사례 연구 – 정원일(경북대)
  • SW중심대학사업 수행사례- 성균관대학교 사례 – 이은석(성균관대)
  • 비전공자를 위한 컴퓨팅사고력 교육과정-고려대학교 운영사례 – 김현철(고려대)

E1 : 스마트 시스템

  • QoS 요구사항 만족을 위한 온톨로지 기반 태스크 매치메이킹 기술 [일반논문] – 김민협, 고인영 (KAIST)
  • 포그 컴퓨팅 환경에서 서비스 QoS 를 고려한 자동화된 서비스 인스턴스 선택 방법 [단편논문] – 권정현, 고인영(KAIST)
  • IoT 기반의 실시간 가축 건강 및 번식 관리를 위한 모바일 어플리케이션 개발 [우수단편논문] – 김희진, 오세은, 최병주 (이화여자대학교), 안세혁 ((주)유라이크코리아)
  • 다중 조명 제어 기기간의 최적화를 위한 자가 적응 의사 결정 방법 [단편논문] – 김현우, 이의종, 백두권 (고려대학교)
  • 스마트 냉장고 상호작용 시 사용자 개입을 최소화하기 위한 스마트 스토리지 시스템 설계 및 프로토타입 개발 [학부논문] – 박준희, 손희석, 김재헌, 이동만 (KAIST)

E2 : SW 테스팅 2

  • 시험 자동화도구를 적용한 소프트웨어 통합시험 커버리지 달성방안 [산업체논문] – 장정훈, 이기영, 이원택, 강유선, 류인수 (㈜모아소프트)
  • SILS 및 런타임 모니터링을 활용한 레거시 S/W 시나리오 테스팅 및 속성검증 사례연구 [우수단편논문] – 박민규, 서보영, 조현승, 이호정 (LG 전자), 장훈 (현대자동차)
  • 차량용 SW 의 HiL 테스팅을 위한 빅데이터 압축 수집 기법 [일반논문] – 신종환, 최기용, 이정원 (아주대학교), 이병정 (서울시립대학교)
  • SW 테스트 수준 측정 기반의 테스트 중심 품질관리 프레임워크의 실무 활용 효과에 대한 연구 [산업체논문] – 김관호, 권원일 (STA 테스트컨설팅), 정수진, 김명주, 유경훈, 이노원 (정보통신산업진흥원)

E3 : SW 프로세스

  • 무기체계 SW 신뢰성 관리를 위한 프로세스 연구 [산업체논문] – 서달미, 손근태, 서형오, 오정섭 (NSE), 김태현, 박삼준 (국방과학연구소)
  • 한국형 테스트 성숙도 모델을 위한 경량화 연구 [우수단편논문] – 박보경, 장우성, 김영철 (홍익대학교), 김기두 (한국정보통신기술협회), 이근상 (전북테크노파크), C. R. Carlson (IIT)
  • 이슈 관리 프로세스의 정량적 평가 프레임워크 [단편논문] – 오승원, 전은진, 한혁수 (상명대학교)
  • ACMI Data Link Design and M&S Results [산업체논문] – 심인보, 오지현, 김천영, 지철규 (국방과학연구소)
  • 소프트웨어 개발 조직의 특성에 관한 연구 : 현상과 특성에 관한 조사 [일반논문] – 김윤수, 김재욱, 이원영, 김태호, 민상윤 (KAIST 소프트웨어대학원)

E4 : 블록체인

  • 소비되지 않은 출력값 (UTXO) 추출 기법을 통한 블록체인 사이즈 축소 방안 [단편논문] – 이동영, 박수용 (서강대학교)
  • 블록체인 기반 전자투표 시스템 [단편논문] – 이우승, 고동휘, 고덕윤, 박수용 (서강대학교)
  • 스마트 계약 기반 탈 중앙 전자 투표 시스템 [단편논문] – 노승학, 인호 (고려대학교)
  • 모바일 디바이스 배터리 소모 분석 기법 평가 [우수단편논문] – 송지영, 조치우, 지은경, 배두환 (KAIST)
  • 소프트웨어 정의 네트워크 환경에서 애플리케이션 QoS 보장을 위한 모니터링 아키텍처 [단편논문] – 황제승, 김웅수, 염근혁 (부산대학교), 박준석(부산대학교 물류혁신네트워킹연구소)

 제 18회 한국 소프트웨어공학 학술대회 논문집 다운로드(KCSE 2016)

튜토리얼

  • T1: 검색 기반 소프트웨어 공학 유신 교수(KAIST)
  • T2: 자동차 SW의 안전성을 위한 프로세스 모델: Automotive SPICE 와 CMMI 한혁수 교수(상명대)
  • T3: 임베디드 SW product line 개발 및 진화 이근 박사(삼성전자)

A1: SW 테스팅 1

  • UML 상태 다이어그램 기반 테스트 스크립트 자동 생성 도구 [학부논문] – 이영우, 최현재, 채흥석(부산대)
  • Pair-wise Component Compatibility Testing [단편논문] – Anvika, 윤일철(뉴욕대)
  • 안드로이드 애플리케이션 무반응 탐색과 회피 방안 – 김경민, 최은만(동국대)
  • 다중 결함 환경에서의 SFL성능 개선을 위한 테스트 케이스 군집화 및 가중치 부여 기법 [단편논문] – 이재희, 김정호, 이은석(성균관대)
  • Circus 명세를 통한 Go 코드 생성 – 신지훈, 최진영(고려대)
  • 동시성을 포함한 액티비티 다이어그램 기반 테스트 시나리오 생성 기법 [우수논문] – 백승찬, 최효린, 이병정(서울시립대), 이정원(아주대)

A2: SW 아키텍처 1

  • 코드 중복 없이 안드로이드 컴포넌트에 예외 처리를 추가하는 클래스 설계 방법에 관한 연구 [우수학부논문] – 김현순, 이승휘, 이화중, 최광훈(연세대), 창병모(숙명여대)
  • 레거시 소프트웨어의 품질 개선을 위한 역방향 Tactic 분석 중심의 아키텍처 평가 [우수산업체논문] – 류동국, 김재선, 김진태(엑스퍼트그룹)
    논리적 UI 모델의 MVC 패턴으로의 매핑 – 김세화, 최기봉, 이승엽(한국외대)
  • 소프트웨어의 계층 구조 파악을 위한 계층적 K-means 알고리즘 – 이선로, 이찬근(중앙대)
  • 공중전투기동 내장형 훈련 S/W 아키텍처 설계 [산업체논문] – 장영찬, 지철규, 오지현, 김천영(국방과학연구소)
  • 자동차 원격 제어의 신뢰성을 높이기 위한 시스템 구조 및 동작 절차 제안 – 이윤성, 권영채, 이성주, 이율희, 이석원(아주대)

A3: 적응형 SW

  • Using Problem Frames and Goal Modelling techniques to determine Variability in Smart Grid RTP systems – Meetushi, 이석원(아주대)
  • 모델 기반 소프트웨어공학에 입각한 요구사항 추적성 메타모델 정의법 개관 [단편논문] – 변성훈, 이석원(아주대)
  • 환경정보를 고려한 자가적응형 시스템을 위한 동적 의사결정 기술 [우수논문] – 김미수, 정호현, 이은석(성균관대)
  • 모바일 어플리케이션 GUI 사용성 저해요소 검출 도구 [단편논문] – 마경욱, 박수진(서강대)
  • 시간-주파수 논리를 활용한 클래식 형식 분석 [단편논문] – 박수정, 권혁주, 권기환(경기대)
  • 레거시(PL/SQL) 코드에서 변경 영향을 검출하는 오염 분석기 설계 방법: 요약 해석을 기반으로 [산업체논문] – 김용기(삼성전자)

A4: 이슈 및 결함 관리

  • Embedded S/W 개발에서 Issue 해결의 어려움에 대한 고찰 – 임순일, 정병민, 민상윤(KAIST)
  • 가전제품 사업에서의 소프트웨어 버그리포트 재현가능성 향상에 관한 연구 – 이창훈, 이미연, 민상윤(KAIST)
  • 메모리 영역 분할을 통한 메모리 갱신 정보 기반 결함 후보 축소 기법 [최우수논문] – 김관효, 최기용, 이정원(아주대)
  • IR기반 결함위치추적을 위한 사용정보 영향력 분석 – 안준, 염창선, 김정호, 이은석(성균관대)
  • 테스트케이스 재구성을 통한 결함위치식별 성능개선 [최우수논문] – 김정호, 이은석(성균관대)

B1: SW 테스팅 2

  • 테스팅 트렌드와 산업계 동향 [후원업체] – 박현우(㈜다한테크)
  • 효과적인 웹 애플리케이션 테스팅을 위한DOM 관련 동적 데이터 흐름 분석 방법 – 김지훈, 고인영(KAIST)
  • DO-178C 기반 소프트웨어 동적 테스트 방안 [산업체논문] – 윤상은, 이종민, 정영은(TTA)
  • 인수 (Acceptance) 테스트 자동화 실무 사례 [산업체논문] – 신현일, 조성민, 최근호(S-Core)
  • 입력 커버리지를 활용한 효율적인 동적 기호 실행 탐색 기법 [우수단편논문] – 김윤호, 김문주(KAIST)

B2: SW 아키텍처 2

  • 내장형 소프트웨어 안전성 강화를 위한 fault injection testing [후원업체] – 송한규 실장(슈어소프트테크㈜)
  • 계층적 구조를 고려한 소프트웨어 아키텍처 편차 측정 [우수단편논문] – 김희주, 이기성, 김준석, 이찬근(중앙대)
  • 산업용 로봇 소프트웨어에서 재사용성 확보를 위한 옵저버 패턴 적용 [단편논문] – 하상범, 유철중(전북대)
  • 상호 정보량을 이용한 소프트웨어 아키텍처 모듈-뷰 복원 평가 – 허민재, 이찬근(중앙대)
  • 클러스터 앙상블을 이용한 소프트웨어 아키텍처 모듈-뷰 복원 – 조충기, 이찬근(중앙대)

B3: 노력 추정 및 도구

  • IT 서비스 운영을 위한 SW 개발공수 추정모델 적용사례 [후원업체] – 이창환 팀장(KOSCOM)
  • 소프트웨어 코드탐색 다이어그래밍 도구 [후원업체] – 이선아, 정필수(KAIST)
  • 온라인 게임 위치 기반 그룹 분류를 통한 봇 탐지 기법에 대한 연구 – 이세희, 김수아, 이지형(성균관대)
  • Matlab 기반 차량제어시스템의 측정 데이터 분석 도구의 구현 [산업체논문] – 이창호(현대오트론)
  • 카페 좌석 관리 시스템 – 박평우, 임종찬, 노우리, 문은미, 이석원(아주대)

B4: 보안 및 사물인터넷(IoT)

  • 블록체인 기반 서비스의 트랜잭션 검증 효율성 개선 방안 [단편논문] – 고동휘, 고덕윤, 이우승, 조수환, 최수진, 이일로, 박수용(서강대)
  • 사물 인터넷 환경에서의 그룹 사용자를 위한 그룹 구성 정보 기반 서비스 추천 방법 [최우수논문] – 이진서, 고인영(KAIST)
  • 미션-크리티컬 인메모리 DBMS의 결함탐지를 위한 결함주입 테스트 방법 및 도구 [산업체논문] – 서강익, 마영철, 이재회, 이종정, 박준호(ALTIBASE)
  • 국내 기업의 SW 개발보안 적용사례 분석 [단편논문] – 박난경, 최진영, 임종인(고려대)
  • 사물인터넷 환경에서 지리적 응집도를 고려한 동적 서비스 검색방법 [우수논문] – 백경덕, 김민협, 고인영(KAIST)

C1: 정형 명세

  • 분산 이동 실시간 시스템의 이동성 명세와 검증을 위한 시각화 도구 – 최영복, 박현주, 이문근(전북대)
  • 위치 기반 서비스에서 이동 경로의 정형 명세 및 모니터링 – 권혁, 권혁주, 권기현(경기대)
  • 시스템 오브 시스템즈 목표 검증을 위한 시뮬레이션 사례 연구 [단편논문] – 서동원, 신동환, 박지훈, 지은경, 배두환(KAIST)
  • 에어컨 실외기 제품의 소프트웨어 재사용성 향상을 위한 피처 기반 제품라인공학 기술 적용 연구 [산업체논문] – 권혁상(㈜삼성전자), 강성원, 한영훈(KAIST)

C2: SW 아키텍처 3

  • 고신뢰성 소프트웨어공학도구 솔루션 SILKROAD [후원업체] – 백가현 연구원(㈜엔에스이)
  • A Software Development Framework for Industrial Computer Vision Systems – Mesfin Abebe, Cheol-Jung Yoo(전북대)
  • 구문적 노이즈 제거를 이용한 소프트웨어 아키텍처 복원 자동화 프레임워크 [단편논문] – 이기성, 이찬근(중앙대)
  • 실시간 연동을 위한 LVC 통합연동시스템 아키텍처 설계 [산업체논문] – 오지현, 김천영, 장영찬, 지철규, 홍영석(국방과학연구소)

C3: SW 프로세스

  • 모델 기반 Application Lifecycle Management [후원업체] – 오윤민 이사(㈜이에스지)
  • TMMi 관점의 국내 SW 테스트 성숙도 현황 [후원업체] – 윤진우 수석(STA 테스팅컨설팅㈜)
  • A Research on the Process towards developing the Framework on Systematic Investigation for Reliability improvement upon Software(SIRIUS) [산업체논문] – 박삼준, 이태호, 백옥현(국방과학연구소), 오정섭, 서달미(㈜NSE)
  • 소프트웨어 R&D 프로젝트 검증을 위한 산출물과 활동 – 송상민, Amarmend Dashbalbar, 이병정(서울시립대), 이정원(아주대)

C4: SW 품질

  • 한국 자본시장 전산장애 예방을 위한 SW 품질관리 추진사례 [후원업체] – 이치형 부사장(KOSCOM)
  • 정적 검증 시각화를 통한 품질 지표 관리 [후원업체] – 차신 센터장(테스트마이다스)
  • 국가 사이버안보 역량 강화를 위한 사이버보안 성숙도 모델 설계 [산업체논문] – 이민재(㈜티큐엠에스), 손영동(고려대)
  • SPL 기반의 무기체계 SW 통합개발환경 운용 개념 연구 [산업체논문] – 백옥현, 이태호, 박삼준(국방과학연구소)
  • 분산시스템에서의 공유자원 가용성을 고려한 실시간 제어방법 연구 [단편논문] – 장부철, 정우진, 송대기, 신진범(국방과학연구소)

D1: SW 검증

  • 정형 기법을 이용한 NFV Policy 들의 일치성 검증 [단편논문] – 구근회(고려대), 강미영, 최진영(고품질융합소프트웨어센터), 이승익(ETRI)
  • Safety Critical System 에서 요구사항 검증 및 통합 명세화 방법제안 [단편논문] – 임혜선, 이석원(아주대)
  • 소프트웨어 연구 문서 산출물의 추적을 위한 연관성 링크 정보 모델 기반 전문가 시스템 설계 – 백두산(아주대), 이병정(서울시립대), 이정원(아주대)
  • 위기대응 매뉴얼 신뢰성 향상을 위한 검증방안 연구 [단편논문] – 이 혁, 최진영(고려대)

D2: 요구공학

  • 국방 전투관리체계 개발을 위한 상호작용 유즈 케이스 기반 요구사항 모델링 기법 – 김두환, 홍장의(전북대), 김동환(LIGNex1)
  • PbD 7 대 기본원칙과 GQM 을 활용한 프라이버시 요구사항 도출 방법론 [단편논문] – 조주혜, 이석원(아주대)
  • 지능형 화폐 인식 SW 개발의 Visualization 적용 사례 및 임베디드 SW 개발 조직의 Visualization 적용 로드맵 제안 [산업체논문] – 한동준(소프트웨어 안전성 보증 연구센터), 김은비, 한혁수(상명대), 엄영석, 정대식, 조달호(KISAN)
  • 인지적 분석을 통한 임상 의사결정 지원 시스템 인터페이스 설계 [단편논문] – 고동균, 김유찬, 윤완철(KAIST)

D3: 온톨로지 및 서비스

  • 혈액종합검사에 특화된 온톨로지 구축: 설계와 활용 – 제현우, 박유경, 홍원의, 이문용(KAIST)
  • 사용자의 서비스 사용 성향을 고려한 클라우드 서비스 추천 – 최비오, 박준석, 황제승, 김웅수, 윤동규, 염근혁(부산대)
  • 이기종 시맨틱 온톨로지 시스템의 통합 검색 [단편논문] – 황상원, 남영광(연세대)
  • 소프트웨어 성능 가시화를 위한 툴 체인 개발 [단편논문] – 강건희, 박보경, 장우성, 황준순, 권하은, 이한솔, 이현준, 김영철(홍익대)

D4: SW 품질 2 및 SE 교육

  • PageRank와 토픽 모델링을 이용한 소프트웨어 재사용 도메인 토픽 추출 시스템 개발 – 이용석, 남영광, 황상원(연세대)
  • 소프트웨어 개발 프로세스를 대상으로 수행하는 추적성 분석의 세부 관계 정의 [단편논문] – 김재엽, 이동아, 유준범(건국대)
  • Legacy 시스템의 안전성 분석기법 및 사례연구 [단편논문] – 김선주, 이석원(아주대)
  • 프로젝트 중심 소프트웨어 공학 교육의 성과 분석과 개선 방안 [단편논문] – 최은만, 김하영(동국대)

E1: SW 테스팅 3

  • 회귀 시험을 위한 통계적 분석 기반 테스트 항목 우선순위화 기법 [단편논문] – 조영환, 이은석 (성균관대)
  • 안전 무결성 기준을 활용한 테스트 케이스 우선순위 [단편논문] – 송옥수, 김보운, 최병주 (이화여대)
  • 확장된 라운드 트립 기법을 이용한 발사통제장치 테스트 기법 [단편논문] – 배정호, 안세준, 장부철, 구봉주 (국방과학연구소)
  • 안드로이드 어플리케이션 개발 생산성을 위한 권한 자동 검사 기법 [단편논문] – 노승학, 인호(고려대)

E2: 정적 분석

  • 안드로이드 이미지 로딩 라이브러리 비기능 품질 속성 비교 – 조성래, 정연철, 민상윤(KAIST)
  • 코드마인드: 온더플라이 소스코드 정적분석 도구 [산업체논문] – 신승철, 이욱세, 노상훈, 김제민(코드마인드)
  • 유사도 메트릭을 이용한 컴포넌트 상호연관성 추출 [우수단편논문] – 이재권, 김기섭, 정우성(충북대)

E3: SW 융합

  • 다양한 이해관계자들 간 정보공유를 위한 산업용 로봇 소프트웨어 설계 기법 [단편논문] – 박진용, 유철중(전북대)
  • 스마트 환경에서 디지털 사이니지와 이기종 디바이스간의 상호운용성을 지원하기 위한 메시지 플로팅 시스템 – 차민재, 이동우, 남태우, 염근혁(부산대)
  • Automotive 소프트웨어 Security 향상을 위한 Coding Guideline에 대한 연구 – 우중기, 정지현, 민상윤(KAIST)

E4: SW 품질 3

  • 소프트웨어 품질관리를 위한 이종 코드 변환 프레임워크 연구 [단편논문] – 손현승, 김영철(홍익대)
  • 역공학을 이용한 오픈소스의 소스코드 요구사항 도출 및 Best Practices와의 비교 분석을 통한 소스코드의 품질평가 [단편논문] – 위대한, 이석원(아주대)
  • 소프트웨어 프로세스 인증제도의 국방 적용방향 [단편논문] – 김영봉 유천수(한국국방연구원)
  • 원자력 계측제어 소프트웨어의 안전성 분석을 위한Safety Case 의 Arguments 개발 절차 [우수단편논문] – 이동아, 유준범(건국대학교), 이장수 (한국원자력연구원)