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

오프라인 개최 (온라인 병행)
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), 채흥석 교수(부산대), 최윤자 교수(경북대), 홍신 교수(한동대)