The 24th
2022년 1월 19일(수)~1월 21일(금), OFFLINE & ONLINE
한화리조트 1F (휘닉스 평창) 강원도 평창군 봉평면 면온리 946-7
신뢰할 수 있는 인공지능을 위한 소프트웨어공학 기술
소프트웨어공학 학술대회(KCSE 2022) 참가자 여러분을 환영합니다.
KCSE (Korea Conference on Software Engineering)는 기업, 연구소 및 학계에서 활동하고 계신 소프트웨어공학 분야 전문가들의 모임으로, 한국정보과학회 소프트웨어공학 소사이어티와 한국정보처리학회 소프트웨어공학연구회가 소프트웨어공학 기술의 발전 및 적용 확산을 위하여 1999년부터 매년 개최하는 학술대회입니다.
이번 제24회 학술대회는 “신뢰할 수 있는 인공지능을 위한 소프트웨어공학 기술”을 주제로, 기조 연설, 튜토리얼, 신진 연구자 발표, 우수 논문 발표 등의 초청 세션과 소프트웨어공학 분야의 각계에서 제출한 45편의 엄선된 논문으로 구성하였으며, 2022년 1월 19일부터 3일간에 걸쳐 진행하게 되었습니다.
이번 학술대회는 오프라인 중심, 온라인 병행으로 진행되며, 온라인이든 오프라인이든 소통 방식과는 무관하게 이제는 시간과 공간의 한계를 넘어서는 교류의 시대가 되었습니다. 이번 KCSE 2022 학술대회가 소프트웨어공학을 연구하고, 적용하는 모든 연구자 그리고 전문가 여러분께 즐겁고 활기찬 학술 교류 및 기술 협력의 장이 될 수 있도록 철저한 방역과 다양한 프로그램으로 진행하고자 하오니 여러분의 많은 관심과 참여를 부탁드립니다.
제24회 KCSE 학술행사를 위해 수고해 주신 조직위원회와 학술위원회 위원들, 후원 기관 관계자 여러분, 그리고 기조 연설을 포함한 학술대회 모든 발표자분들께 깊이 감사드리며 건승을 기원합니다.
홍장의 교수 (충북대학교)
한국정보과학회 소프트웨어공학
소사이어티 회장
김정아 교수 (가톨릭관동대학교)
한국정보처리학회 소프트웨어공학
연구회 운영위원장
2022년 1월 19일 (Day 1) | |||||||||
---|---|---|---|---|---|---|---|---|---|
시간 | 행사내용 | ||||||||
12:00 ~ 13:00 | KCSE 2022 등록 | ||||||||
13:00 ~ 14:30 |
튜토리얼 T1 좌장: 남재창 (한동대학교) 장소: 그랜드홀 2 김동선 교수 (경북대학교) |
튜토리얼 T2 좌장: 유준범 (건국대학교) 장소: 세미나실 1 박창규 연구원 (삼성전자) |
튜토리얼 T3 좌장: 이병정 (서울시립대학교) 장소: 세미나실 2 이승은 선임 (와이즈스톤) |
워크숍 W1 장소: 세미나실 4 14:00 ~ 16:30 KAIST 빅데이터 엣지 클라우드 서비스 연구센터 |
|||||
14:30 ~ 14:40 | 휴식 | ||||||||
14:40 ~ 16:10 |
튜토리얼 T4 좌장: 유신 (KAIST) 장소: 그랜드홀 2 이우석 교수 (한양대학교) |
튜토리얼 T5 좌장: 이준영 (CryptoLab) 장소: 세미나실 1 황성재 교수 (성균관대학교) |
튜토리얼 T6 좌장: 이병정 (서울시립대학교) 장소: 세미나실 2 이재용 교수 (한서대학교) |
||||||
16:10 ~ 16:20 | 휴식 | ||||||||
16:20 ~ 16:40 |
개회식 사회: 이정원 조직위원장 (아주대학교) 장소: 그랜드홀 2 개회사 홍장의 회장 (한국정보과학회 소프트웨어공학 소사이어티) 김정아 운영위원장 (한국정보처리학회 소프트웨어공학연구회) |
||||||||
16:40 ~ 17:30 |
기조강연 1 사회: 이주용 학술위원장 (UNIST) 장소: 그랜드홀 2 권기현 교수 (경기대학교) |
||||||||
17:30 ~ 17:40 | 휴식 | ||||||||
17:40 ~ 18:30 |
신진 연구자 초청 세미나 N1
좌장: 김진대 (서울과학기술대학교) 장소: 그랜드홀 2
머신러닝 소프트웨어를 위한 자동화 테스팅 기술 |
신진 연구자 초청 세미나 N2
좌장: 박창규 (삼성전자) 장소: 세미나실 1
SW 가시화를 위한 메타모델과 모델변환 |
신진 연구자 초청 세미나 N3
좌장: 이우석 (한양대학교) 장소: 세미나실 2
A Robust Foundation for the Correctness of LLVM Compiler |
||||||
18:30 ~ 19:30 | 석식 |
2022년 1월 20일 (DAY2) | |||||||
---|---|---|---|---|---|---|---|
시간 | 행사내용 | ||||||
논문 발표 | |||||||
09:30 ~ 10:50 |
A1 : 결함 분석 및 예측 좌장 : 류덕산 (전북대학교) 장소: 그랜드홀 2 [최우수 일반 논문] 사전 학습 언어 모델들을 활용한 버그 담당자 자동 할당 성능 향상 [일반 논문] 해석 가능한 시계열 이상탐지 모델을 활용한 생산 능력 계획 수립 방안 [최우수 일반 논문] 오픈 소스 기계학습 어플리케이션에 대한 결함 사례 조사 [학부생 논문] 양방향 메트릭 선택 기반 비지도 학습 결함 예측 |
A2 : 보안 좌장: 고인영 (KAIST) 장소: 세미나실 1 [우수 단편 논문] 이더리움 스마트 컨트랙트의 업그레이드 전략에 따른 가스 영향도 분석 [초청 논문] JEST: N+1-version Differential Testing of Both JavaScript Engines and Specification (ICSE 2021) [학부생 논문] 생체 정보의 비식별화를 위한 지문 탐지 모델 [우수 학부생 논문] 텍스트 기반의 CAPTCHA 보완 모델 [학부생 논문] 기업형 블록체인 플랫폼인 하이퍼레저 베수의 기술적 배경 |
|||||
10:50 ~ 11:00 | 휴식 | ||||||
11:00 ~ 12:00 |
B1 : CPS
좌장: 김진현 (경상대학교)
장소: 그랜드홀 2 [최우수 일반 논문] 협동 로봇의 센싱 데이터 특징 기반 테스트 데이터셋 구성을 통한 학습 모델 신뢰성 분석 [초청 논문] Efficient SMT-Based Model Checking for Signal Temporal Logic (ASE 2021) [단편 논문] 히스토리 기반 타임뱅크 봉사 파트너 추천 알고리즘 |
B2 : 결함위치 추정 및 결함예측
좌장: 남재창 (한동대학교) 장소: 세미나실 1 [초청 논문] HOTFUZ: cost-effective higher-order mutation-based fault localization (STVR) [초청 논문] Ahead of Time Mutation Based Fault Localisation using Statistical Inference (ISSRE 2021) [일반 논문] 소프트웨어 결함 예측을 위한 설명 가능한 인공지능 적용 |
|||||
12:00 ~ 13:40 | 중식 | ||||||
13:40 ~ 15:00 |
C1 : 프로그램 이해 및 분석
좌장: 이주용 (UNIST) 장소: 그랜드홀 2 [최우수 일반 논문] 코드 변경에 대한 검출 기법과 사람의 묘사 차이 연구 [초청 논문] JSTAR: JavaScript Specification Type Analyzer using Refinement (ASE 2021) [초청 논문] Observation-based approximate dependency modeling and its use for program slicing (JSS) [단편 논문] FPGA 네트워크 기능 가속기를 지원하기 위한 빠르고 효율적인 소프트웨어 스택 |
C2 : AI 와 SE I
좌장: 김진현 (경상대학교) 장소: 세미나실 1 [단편 논문] 딥 러닝을 활용한 메소드와 주석 간의 적합성 검증 모델 [초청 논문] SymTuner: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters (ICSE 2022) [학부생 논문] 개인정보보호를 위한 SGX 기반 학습데이터 비식별화 인공지능 학습 프레임워크
[단편 논문] 딥러닝 기반 얼굴인식 손실 함수 기술 동향 [단편 논문] 경량 뉴럴 네트워크 탐색을 위한 가지치기, 지식증류, 그리고 양자화에 기반한 하이브리드 압축 방법 |
|||||
15:00 ~ 15:10 | 휴식 | ||||||
15:10 ~ 16:30 |
D1 : 프로그램 수정
좌장: 김진대 (서울과학기술대학교) 장소: 그랜드홀 2 [초청 논문] NPEX: Repairing Java Null Pointer Exceptions without Tests (ICSE 2022) [우수 단편 논문] 의심스러운 조건문을 이용한 결함 위치 식별 및 수정 개선 [단편 논문] 멀티 청크 버그 정정을 위한 버기 블럭과 CodeBERT 활용 [단편 논문] 복잡한 버그의 템플릿 생성을 위한 Change Action 측면에서의 과거 수정 이력 분석 [우수 학부생 논문] Kubernetes 를 활용한 멀티 클라우드 모니터링 솔루션 |
D2 : AI 와 SE II
좌장: 류덕산 (전북대학교) 장소: 세미나실 1 [일반 논문] 흉부 방사선 영상 학습 성능 개선을 위한 오픈 데이터셋 품질 평가 기법 [단편 논문] 그래프 합성곱 신경망을 활용한 취약점 탐지 벤치마크 [단편 논문] Keypoint-RCNN 을 이용한 반려견 대퇴골 탈구인식을 위한 수의영상판독 시스템 [학부생 논문] 수업 질문 자동응답을 위해 KoBert 를 이용한 챗봇과 Doc2Vec 을 이용한 챗봇과의 성능비교 [학부생 논문] 다중 피부병변 검출 심층학습을 위한 피부병변 합성 기반 데이터 증강 기법 |
D3 : SW 테스팅 및 품질 관리
좌장: 지은경 (KAIST) 장소: 세미나실 2 [일반 논문] Actor-Critic 계열 강화학습 알고리즘의 행동 정확성 평가 방법 [우수 학부생 논문] CFG 생성 타당성 검사를 위한 테스트 자동화 연구 [단편 논문] 모바일 어플리케이션 자동화 테스트를 위한 딥러닝 기반 UI 경로 지도의 생성 [단편 논문] Concolic 테스팅과 Fuzzing 을 결합한 유닛테스팅 자동화 기술 [단편 논문] 동영상 스트리밍 서비스에 HTTP/1.1, HTTP/2 프로토콜 적용별 프로토콜 성능 평가 |
||||
16:30 ~ 16:40 | 휴식 | ||||||
16:40 ~ 17:30 |
기조강연 2
사회: 홍장의 대회장 (충북대학교) 장소: 그랜드 홀 2
Software Defined Weapon - Open Innovation 을 통한 신뢰성있는 자율화 무기체계의 개발 |
||||||
17:30 ~ 18:00 |
우수논문상, 공로상, 감사장 수여식
사회: 이정원 조직위원장 (아주대) & 이주용 학술위원장 (UNIST) 장소: 그랜드 홀 2 |
||||||
18:10 ~ 20:00 | 석식 |
2022년 1월 21일 (DAY3) | ||||||
---|---|---|---|---|---|---|
시간 | 행사내용 | |||||
논문 발표 | ||||||
09:25 ~ 10:50 |
E1 : 요구사항 및 아키텍처 I 좌장: 고인영 (KAIST) 장소: 그랜드홀 2 [우수 일반 논문] 소프트웨어 요구사항 분류 모델의 성능 향상을 위한 불균형 데이터 처리에 관한 연구 [우수 일반 논문] 효율적인 아키텍처 패턴 적용을 위한 소프트웨어 요구사항 분류체계에 관한 연구 [단편 논문] 코드가시화의 고도화 연구 [단편 논문] 자카드 지수를 이용한 한국어 요구사항 유사도 분석 자동화 [단편 논문] Use case 명세서 기반 자동 가이드 코드 생성 |
E2 : 요구사항 및 아키텍처 II 좌장: 유준범 (건국대학교) 장소: 세미나실 1 [일반 논문] Status Quo of Software Architecture and Technologies for Cloud-Edge Collaborative Intelligence [우수 일반 논문] AIAG-VDA FMEA 방법론 기반 SFMEA : 효과적인 자동차 SW 안전분석 [일반 논문] 엣지 클라우드 환경에서 다목적 최적화 알고리즘을 활용하여 비용 및 서비스 지연을 최소화하는 마이크로서비스 배포 방법 [산업체 논문] 소프트웨어 수출을 위한 시장주도 요구공학 적용 사례 |
E3 : SW 모델링 및 테스팅 좌장: 이주용 (UNIST) 장소: 세미나실 2 [일반 논문] 다양한 디스플레이 환경을 위한 적응형 UI 레이아웃 프레임워크 [단편 논문] 멀티태스크 PLC 프로그램의 테스팅을 위한 주기 별 테스트 시퀀스 실행 제어 방법 [산업체 논문] 반도체 공정 유지 보수 비용 절감을 위한 공정 레시피 데이터 학습 및 장비 결함 검출 [학부생 논문] 아동·청소년을 위한 인공지능 스피커: 심리 상담 통합 시스템 개발 [학부생 논문] 스마트 팩토리–가스라이터 제조 공정에서의 스티커 부착과 관련된 불량 검출 프로그램 개선 |
워크숍 W2 장소 : 세미나실 4 10:00 ~ 11:50 서강대 지능형블록체인 연구센터 |
||
10:50 ~ 11:00 | 휴식 | |||||
11:00 ~ 11:50 |
신진 연구자 초청 세미나 N4
좌장: 김미정 (UNIST) 장소: 그랜드홀 2
오픈소스 소프트웨어에서의 버그 정정 관리를 위한 지능형 프레임워크 |
신진 연구자 초청 세미나 N5
좌장: 유신 (KAIST) 장소: 세미나실 1
비형식 요구사항 기반 유스케이스 추출을 통한 노력 추정 방법 |
신진 연구자 초청 세미나 N6
좌장: 지은경 (KAIST) 장소: 세미나실 2
소프트웨어 신뢰도 보증을 위한 효율적인 도달 가능성 분석 |
|||
11:50 ~ 12:10 |
폐회식 사회: 이정원 조직위원장 (아주대학교) 장소: 그랜드홀 2 |
※ 자세한 내용은 공지사항 “온라인 session입장 가이드” 참조 ※