KCSE2022 모시는 글

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

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

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

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

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

홍장의 교수 (충북대학교)
한국정보과학회 소프트웨어공학
소사이어티 회장

김정아 교수 (가톨릭관동대학교)
한국정보처리학회 소프트웨어공학
연구회 운영위원장

KCSE2022 기조강연

권기현 교수

경기대학교

소프트웨어 안전 엔지니어 양성 방안

1월 19일(수) 오후 4시 40분 ~ 5시 30분

김동환 연구위원

LIG 넥스원

국방 소프트웨어 개발 분야의 AI 적용 기술

1월 20일(목) 오후 4시 40분 ~ 5시 30분

KCSE2022 튜토리얼

김동선

경북대학교

프로그램 자동 수정: 기초와 원리, 그리고 패턴 추출

1월 19일(수) 오후 1시 ~ 2시 30분

박창규

삼성전자

Challenges on System IP Design Automation Software

1월 19일(수) 오후 1시 ~ 2시 30분

이승은

와이즈스톤

신뢰성 있는 인공지능 품질평가방안 및 사례

1월 19일(수) 오후 1시 ~ 2시 30분

이우석

한양대학교

프로그램 합성 소개

1월 19일(수) 오후 2시 40분 ~ 4시 10분

황성재

성균관대학교

Towards Secure Interoperation in Android

1월 19일(수) 오후 2시 40분 ~ 4시 10분

이재용

한서대학교

소프트웨어 개발에서의 프로그래밍 심리학

1월 19일(수) 오후 2시 40분 ~ 4시 10분

김미정

UNIST

머신러닝 소프트웨어를 위한 자동화 테스팅 기술

1월 19일(수) 오후 5시 40분 ~ 6시 30분

손현승

목포대학교

SW 가시화를 위한 메타모델과 모델변환

1월 19일(수) 오후 5시 40분 ~ 6시 30분

이준영

CryptoLab

A Robust Foundation for the Correctness of LLVM Compiler

1월 19일(수) 오후 5시 40분 ~ 6시 30분

양근석

경남대학교

오픈소스 소프트웨어에서의 버그 정정 관리를 위한 지능형 프레임워크

1월 21일(금) 오전 11시 ~ 11시 50분

박보경

진주교육대학교

비형식 요구사항 기반 유스케이스 추출을 통한 노력 추정 방법

1월 21일(금) 오전 11시 ~ 11시 50분

이낙원

한양대학교

소프트웨어 신뢰도 보증을 위한 효율적인 도달 가능성 분석

1월 21일(금) 오전 11시 ~ 11시 50분

KCSE2022 프로그램

2022년 1월 19일 (Day 1)
시간 행사내용
12:00 ~ 13:00 KCSE 2022 등록
13:00 ~ 14:30 튜토리얼 T1
좌장: 남재창 (한동대학교)
장소: 그랜드홀 2

프로그램 자동 수정: 기초와 원리, 그리고 패턴 추출

김동선 교수 (경북대학교)
튜토리얼 T2
좌장: 유준범 (건국대학교)
장소: 세미나실 1

Challenges on System IP Design Automation Software

박창규 연구원 (삼성전자)
튜토리얼 T3
좌장: 이병정 (서울시립대학교)
장소: 세미나실 2

신뢰성 있는 인공지능 품질평가방안 및 사례

이승은 선임 (와이즈스톤)
워크숍 W1

장소: 세미나실 4
14:00 ~ 16:30
KAIST 빅데이터 엣지 클라우드 서비스 연구센터
14:30 ~ 14:40 휴식
14:40 ~ 16:10 튜토리얼 T4
좌장: 유신 (KAIST)
장소: 그랜드홀 2

프로그램 합성 소개

이우석 교수 (한양대학교)
튜토리얼 T5
좌장: 이준영 (CryptoLab)
장소: 세미나실 1

Towards Secure Interoperation in Android

황성재 교수 (성균관대학교)
튜토리얼 T6
좌장: 이병정 (서울시립대학교)
장소: 세미나실 2

소프트웨어 개발에서의 프로그래밍 심리학

이재용 교수 (한서대학교)
16:10 ~ 16:20 휴식
16:20 ~ 16:40 개회식
사회: 이정원 조직위원장 (아주대학교)
장소: 그랜드홀 2

개회사
홍장의 회장 (한국정보과학회 소프트웨어공학 소사이어티)
김정아 운영위원장 (한국정보처리학회 소프트웨어공학연구회)
16:40 ~ 17:30 기조강연 1
사회: 이주용 학술위원장 (UNIST)
장소: 그랜드홀 2

SE 관련 교육과 인재양성

권기현 교수 (경기대학교)
17:30 ~ 17:40 휴식
17:40 ~ 18:30 신진 연구자 초청 세미나 N1
좌장: 김진대 (서울과학기술대학교)
장소: 그랜드홀 2

머신러닝 소프트웨어를 위한 자동화 테스팅 기술
김미정 교수 (UNIST)

신진 연구자 초청 세미나 N2
좌장: 박창규 (삼성전자)
장소: 세미나실 1

SW 가시화를 위한 메타모델과 모델변환
손현승 교수 (목포대학교)

신진 연구자 초청 세미나 N3
좌장: 이우석 (한양대학교)
장소: 세미나실 2

A Robust Foundation for the Correctness of LLVM Compiler
이준영 박사 (CryptoLab)

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)
Jihyeok Park (KAIST), Seungmin An (KAIST), Dongjun Youn (KAIST), Gyeongwon Kim (KAIST), Sukyoung Ryu (KAIST)

[학부생 논문] 생체 정보의 비식별화를 위한 지문 탐지 모델
배은기 (상명대학교), 김한동 (상명대학교), 권동균 (상명대학교), 한종대 (상명대학교)

[우수 학부생 논문] 텍스트 기반의 CAPTCHA 보완 모델
고유라 (상명대학교), 김태호 (상명대학교), 한종대 (상명대학교)

[학부생 논문] 기업형 블록체인 플랫폼인 하이퍼레저 베수의 기술적 배경
임영택 (동국대학교), 박민하 (동국대학교), 주성호 (한전), 배병일 (한전)

10:50 ~ 11:00 휴식
11:00 ~ 12:00 B1 : CPS
좌장: 김진현 (경상대학교)
장소: 그랜드홀 2

[최우수 일반 논문] 협동 로봇의 센싱 데이터 특징 기반 테스트 데이터셋 구성을 통한 학습 모델 신뢰성 분석
김진세 (아주대학교), 배수빈 (아주대학교), 박예슬 (아주대학교), 이정원 (아주대학교)

[초청 논문] Efficient SMT-Based Model Checking for Signal Temporal Logic (ASE 2021)
Jia Lee (POSTECH), Geunyeol Yu (POSTECH), Kyungmin Bae (POSTECH)

[단편 논문] 히스토리 기반 타임뱅크 봉사 파트너 추천 알고리즘
선다영 (선문대학교), 손서락 (타임뱅크코리아), 양혜란 (타임뱅크코리아), 유원상 (선문대학교)

B2 : 결함위치 추정 및 결함예측
좌장: 남재창 (한동대학교)
장소: 세미나실 1

[초청 논문] HOTFUZ: cost-effective higher-order mutation-based fault localization (STVR)
Jong-In Jang (KAIST), Duksan Ryu (전북대학교), Jongmoon Baik (KAIST)

[초청 논문] Ahead of Time Mutation Based Fault Localisation using Statistical Inference (ISSRE 2021)
Jinhan Kim (KAIST), Gabin An (KAIST), Robert Feldt (Chalmers University of Technology), Shin Yoo (KAIST)

[일반 논문] 소프트웨어 결함 예측을 위한 설명 가능한 인공지능 적용
최지원 (전북대학교), 이재욱 (전북대학교), 류덕산 (전북대학교), 김순태 (전북대학교)

12:00 ~ 13:40 중식
13:40 ~ 15:00 C1 : 프로그램 이해 및 분석
좌장: 이주용 (UNIST)
장소: 그랜드홀 2

[최우수 일반 논문] 코드 변경에 대한 검출 기법과 사람의 묘사 차이 연구
김무준 (서울과학기술대학교), 김범철 (서울과학기술대학교), 김진대 (서울과학기술대학교)

[초청 논문] JSTAR: JavaScript Specification Type Analyzer using Refinement (ASE 2021)
Jihyeok Park (KAIST), Seungmin An (KAIST), Shin Wonho (KAIST), Yusung Sim (KAIST), Sukyoung Ryu (KAIST)

[초청 논문] Observation-based approximate dependency modeling and its use for program slicing (JSS)
Seongmin Lee (Loyola University), David Binkley (Loyola University), Robert Feldt (Chalmers University of Technology), Nicolas Gold (University College London), Shin Yoo (KAIST)

[단편 논문] FPGA 네트워크 기능 가속기를 지원하기 위한 빠르고 효율적인 소프트웨어 스택
부준혁 (서울대학교), 김장우 (서울대학교)

C2 : AI 와 SE I
좌장: 김진현 (경상대학교)
장소: 세미나실 1

[단편 논문] 딥 러닝을 활용한 메소드와 주석 간의 적합성 검증 모델
박재현 (영남대학교), 이동건 (영남대학교), 장용훈 (영남대학교), 서영석 (영남대학교)

[초청 논문] SymTuner: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters (ICSE 2022)
Sooyoung Cha (고려대학교), Myungho Lee (고려대학교), Seokhyun Lee (고려대학교), Hakjoo Oh (고려대학교)

[학부생 논문] 개인정보보호를 위한 SGX 기반 학습데이터 비식별화 인공지능 학습 프레임워크
김남령 (성신여자대학교), 옥지원 (성신여자대학교), 김성민 (성신여자대학교)

[단편 논문] 딥러닝 기반 얼굴인식 손실 함수 기술 동향
임현택 (고스트패스), 김태윤 (고스트패스), 김창석 (고스트패스)

[단편 논문] 경량 뉴럴 네트워크 탐색을 위한 가지치기, 지식증류, 그리고 양자화에 기반한 하이브리드 압축 방법
이재원 (광운대학교), 이상민 (광운대학교)

15:00 ~ 15:10 휴식
15:10 ~ 16:30 D1 : 프로그램 수정
좌장: 김진대 (서울과학기술대학교)
장소: 그랜드홀 2

[초청 논문] NPEX: Repairing Java Null Pointer Exceptions without Tests (ICSE 2022)
Junhee Lee (고려대학교), Seongjoon Hong (고려대학교), Hakjoo Oh (고려대학교)

[우수 단편 논문] 의심스러운 조건문을 이용한 결함 위치 식별 및 수정 개선
강성민 (KAIST), 유신 (KAIST)

[단편 논문] 멀티 청크 버그 정정을 위한 버기 블럭과 CodeBERT 활용
김지성 (서울시립대학교), 호혜민 (서울시립대학교), 양근석 (경남대학교), 이병정 (서울시립대학교)

[단편 논문] 복잡한 버그의 템플릿 생성을 위한 Change Action 측면에서의 과거 수정 이력 분석
허진석 (성균관대학교), 이은석 (성균관대학교)

[우수 학부생 논문] Kubernetes 를 활용한 멀티 클라우드 모니터링 솔루션
박신영 (동국대학교), 김병권 (동국대학교), 배유진 (동국대학교), 심석인 (동국대학교)

D2 : AI 와 SE II
좌장: 류덕산 (전북대학교)
장소: 세미나실 1

[일반 논문] 흉부 방사선 영상 학습 성능 개선을 위한 오픈 데이터셋 품질 평가 기법
김양곤 (아주대학교), 박예슬 (아주대학교), 선주성 (아주대학교), 이정원 (아주대학교)

[단편 논문] 그래프 합성곱 신경망을 활용한 취약점 탐지 벤치마크
최유라 (경북대학교), 권영우 (경북대학교)

[단편 논문] Keypoint-RCNN 을 이용한 반려견 대퇴골 탈구인식을 위한 수의영상판독 시스템
김민경 (건국대학교), 김지인 (건국대학교)

[학부생 논문] 수업 질문 자동응답을 위해 KoBert 를 이용한 챗봇과 Doc2Vec 을 이용한 챗봇과의 성능비교
허주은 (경상대학교), 이선아 (경상대학교)

[학부생 논문] 다중 피부병변 검출 심층학습을 위한 피부병변 합성 기반 데이터 증강 기법
박범진 (선문대학교), 이영찬 (선문대학교), 장현재 ((주)에프앤디파트너스), 유원상 (선문대학교)

D3 : SW 테스팅 및 품질 관리
좌장: 지은경 (KAIST)
장소: 세미나실 2

[일반 논문] Actor-Critic 계열 강화학습 알고리즘의 행동 정확성 평가 방법
김영재 (충북대학교), 홍장의 (충북대학교)

[우수 학부생 논문] CFG 생성 타당성 검사를 위한 테스트 자동화 연구
정소희 (경북대학교), 김동우 (경북대학교), 최윤자 (경북대학교)

[단편 논문] 모바일 어플리케이션 자동화 테스트를 위한 딥러닝 기반 UI 경로 지도의 생성
방혜원 (숭실대학교), 박정민 (숭실대학교), 한영준 (숭실대학교)

[단편 논문] Concolic 테스팅과 Fuzzing 을 결합한 유닛테스팅 자동화 기술
김윤삼 (브이플러스랩), 김문주 (브이플러스랩 / KAIST)

[단편 논문] 동영상 스트리밍 서비스에 HTTP/1.1, HTTP/2 프로토콜 적용별 프로토콜 성능 평가
도지영 (경희대학교), 이성원 (경희대학교)

16:30 ~ 16:40 휴식
16:40 ~ 17:30 기조강연 2
사회: 홍장의 대회장 (충북대학교)
장소: 그랜드 홀 2

Software Defined Weapon - Open Innovation 을 통한 신뢰성있는 자율화 무기체계의 개발
LIG 넥스원 김동환 연구위원

17:30 ~ 18:00 우수논문상, 공로상, 감사장 수여식
사회: 이정원 조직위원장 (아주대) & 이주용 학술위원장 (UNIST)
장소: 그랜드 홀 2
18:10 ~ 20:00 석식
2022년 1월 21일 (DAY3)
시간 행사내용
논문 발표
09:25 ~ 10:50 E1 : 요구사항 및 아키텍처 I
좌장: 고인영 (KAIST)
장소: 그랜드홀 2

[우수 일반 논문] 소프트웨어 요구사항 분류 모델의 성능 향상을 위한 불균형 데이터 처리에 관한 연구
최종우 (KAIST), 이영준 (KAIST), 임채균 (KAIST), 최호진 (KAIST)

[우수 일반 논문] 효율적인 아키텍처 패턴 적용을 위한 소프트웨어 요구사항 분류체계에 관한 연구
최종우 (KAIST), 민상윤 (KAIST)

[단편 논문] 코드가시화의 고도화 연구
김장환 (홍익대학교), 문소영 (홍익대학교), 김영철 (홍익대학교)

[단편 논문] 자카드 지수를 이용한 한국어 요구사항 유사도 분석 자동화
장우성 (홍익대학교), 문소영 (홍익대학교), 김영철 (홍익대학교)

[단편 논문] Use case 명세서 기반 자동 가이드 코드 생성
정세준 (홍익대학교), 문소영 (홍익대학교), 김영철 (홍익대학교)

E2 : 요구사항 및 아키텍처 II
좌장: 유준범 (건국대학교)
장소: 세미나실 1

[일반 논문] Status Quo of Software Architecture and Technologies for Cloud-Edge Collaborative Intelligence
Xiangchi Song (KAIST), 고인영 (KAIST)

[우수 일반 논문] AIAG-VDA FMEA 방법론 기반 SFMEA : 효과적인 자동차 SW 안전분석
김소연 (경기대학교), 권기현 (경기대학교)

[일반 논문] 엣지 클라우드 환경에서 다목적 최적화 알고리즘을 활용하여 비용 및 서비스 지연을 최소화하는 마이크로서비스 배포 방법
김민협 (KAIST), 고인영 (KAIST)

[산업체 논문] 소프트웨어 수출을 위한 시장주도 요구공학 적용 사례
이종길 (엔에스이), 길문주 (엔에스이), 오정섭 (엔에스이)

E3 : SW 모델링 및 테스팅
좌장: 이주용 (UNIST)
장소: 세미나실 2

[일반 논문] 다양한 디스플레이 환경을 위한 적응형 UI 레이아웃 프레임워크
윤진 (삼성전자), 이은영 (삼성전자), 이상현 (삼성전자), 백종문 (KAIST)

[단편 논문] 멀티태스크 PLC 프로그램의 테스팅을 위한 주기 별 테스트 시퀀스 실행 제어 방법
은형석 (KAIST), Lingjun Liu (KAIST), 지은경 (KAIST), 배두환 (KAIST)

[산업체 논문] 반도체 공정 유지 보수 비용 절감을 위한 공정 레시피 데이터 학습 및 장비 결함 검출
최민호 (피에스케이 / 아주대학교), 유동연 (아주대학교), 이정원 (아주대학교)

[학부생 논문] 아동·청소년을 위한 인공지능 스피커: 심리 상담 통합 시스템 개발
김수아 (이화여자대학교), 이예빈 (이화여자대학교), 정수민 (이화여자대학교), 최미소 (이화여자대학교), 최혜빈 (이화여자대학교)

[학부생 논문] 스마트 팩토리–가스라이터 제조 공정에서의 스티커 부착과 관련된 불량 검출 프로그램 개선
신관수 (동국대학교), 송호준 (동국대학교), 조영진 (동국대학교), 신연순 (동국대학교)

워크숍 W2

장소 : 세미나실 4
10:00 ~ 11:50
서강대 지능형블록체인 연구센터
10:50 ~ 11:00 휴식
11:00 ~ 11:50 신진 연구자 초청 세미나 N4
좌장: 김미정 (UNIST)
장소: 그랜드홀 2

오픈소스 소프트웨어에서의 버그 정정 관리를 위한 지능형 프레임워크
양근석 교수 (경남대학교)

신진 연구자 초청 세미나 N5
좌장: 유신 (KAIST)
장소: 세미나실 1

비형식 요구사항 기반 유스케이스 추출을 통한 노력 추정 방법
박보경 교수 (진주교육대학교)

신진 연구자 초청 세미나 N6
좌장: 지은경 (KAIST)
장소: 세미나실 2

소프트웨어 신뢰도 보증을 위한 효율적인 도달 가능성 분석
이낙원 박사 (KAIST)

11:50 ~ 12:10 폐회식
사회: 이정원 조직위원장 (아주대학교)
장소: 그랜드홀 2

KCSE2022 후원