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

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

▣ 튜토리얼

• 박찬진 (SK Hynix): “SE for Industrial AI: A Key Enabler for Digital Transformation”  (튜토리얼1 – 박찬진)
• 김진대 (서울과학기술대학교): “경험적인 연구를 위한 GitHub 오픈소스 소프트웨어 데이터 수집”  (튜토리얼2 – 김진대)
• 홍신 (한동대학교): “Unit test fuzzing for C/”C++”  (튜토리얼3 – 홍신)

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

• “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

▣ 프로그램

• [KCSE 2021 사진 링크]

▣ 참가등록

• 참가비(발표/참가): 학생 (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”

▣ 프로그램

• [KCSE 2020 Booklet 다운로드] / [KCSE 2020 Proceedings] / [KCSE 2020 사진 링크]
• 프러시딩은 학회 종료 후 최종버전이 게시됩니다.
  

▣ 만찬 초청공연

• [음악으로 만나는 글로벌 인문학] 유럽 음악 페스티벌의 현장을 가다.
• 정지훈 음악평론가 [페스티벌_안내장_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), 최윤자 교수(경북대),
    채흥석 교수(부산대), 홍신 교수(한동대)