논문 발표

시간 Session1 Session2

14:10~15:00

A0: Software Testing 1


[초청 발표] Property-based Testing for LG Home Appliances using Accelerated Software-in-the-Loop Simulation (ICSE - SE in Practice, 2020)

박민규 (LG전자), 장훈 (현대자동차), 변태준 (U. of Minnesota), 최윤자 (경북대학교)

[일반 논문] 머신러닝을 사용한 코드와 요구 사항 기반 테스트 케이스 우선 순위 지정 방법

범준석 (KAIST), 백종문 (KAIST)

[일반 논문] 유스케이스를 이용한 키워드 기반 테스팅 방안

최승훈 (동국대학교), 최은만 (동국대학교)

[단편 논문] 국지적 경로 공간 탐색 문제를 완화하기 위한 다방향 Concolic 탐색 전략

최한솔 (한동대학교), 홍신 (한동대학교)

15:10~16:00

A1: Repair & Synthesis


[초청 발표] 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, 2020)

김진대 (서울과학기술대학교), 김정호 (성균관대학교), 이은석 (성균관대학교), 김성훈 (HKUST)

[일반 논문] 코드 블록과 장단기 메모리를 활용한 프로그램 버그 정정 기법

호혜민 (서울시립대), 양근석 (서울시립대), 이병정 (서울시립대)

[단편 논문] 임베디드 소프트웨어 도메인에서의 프로그램 합성 기법의 성능 확인을 위한 사례연구

김요엘 (경북대학교), 최윤자 (경북대학교)

B1: Safety and Security


[일반 논문] 근로계약서를 위한 SPL 기반 실행 가능한 리카르디안 컨트랙트 생성 프레임워크

홍준기 (전북대학교), 김순태 (전북대학교), 류덕산 (전북대학교)

[단편 논문] 온톨로지 기반 위험 구성 요소 분석을 통한 보안 요구사항 추천 방법 : 심층 보안 방어 관점

정지욱 (아주대학교), 이석원 (아주대학교)

[단편 논문] 비상호적 차분 프라이버시 모델의 노이즈 파라미터 분배 기법

김성민 (연세대학교), 이원석 (연세대학교)

[단편 논문] CCTV 영상 무결성 지원을 위한 대용량 이미지 블록체인 저장 방안

김태영 (전북대학교), 김순태 (전북대학교), 강민구 (전북대학교), 송성한 (전북대학교), 홍준기 (전북대학교)

16:10~17:00

논문 발표 A2: Mining Software Repository 1


[일반 논문] 적합도와 메타-학습을 결합한 하이브리드 학습 기반 소프트웨어 신뢰도 예측 모델 선정 기법

이낙원 (KAIST), 류덕산 (전북대학교), 조일훈 (LIG), 송재건 (ADD), 백종문 (KAIST)

[우수 학부생 논문] 비지도 학습 기반 결함 예측 방법들의 성능 비교 연구

권수진 (한동대학교), 남재창 (한동대학교)

[학부생 논문] 이상치탐지 모델 학습에서 신경망 하이퍼파라미터가 모델의 성능에 미치는 영향 분석

고영진 (KAIST), 한성원 (KAIST)

B2: SE & Machine Learning 1


[일반 논문] ML을 활용한 Adaptive Streaming 재생 동기화

송기혁 (KAIST), 백종문 (KAIST)

[일반 논문] 데이터 변형이 딥러닝 모델의 안전에 미치는 영향 연구

김한동 (상명대학교)

[최우수 일반 논문] DNN을 이용한 효율적 컴파일 에러 위치식별 방법

배민지 (KAIST), 백종문 (KAIST)

[일반 논문] 테스트 커버리지 기반 장단기 메모리 모델 구조 결정

김민하 (중앙대학교), 이민수 (중앙대학교), 이찬근 (중앙대학교)

17:10~18:00

논문 발표 A3: Software Testing 2


[일반 논문] 다중 사용자 모바일 엣지 클라우드 환경에서 강화학습을 사용한 효율적 서비스 마이그레이션 방법

신준규 (KAIST), 고인영 (KAIST)

[학부생 논문] TF-IDF 기반 유사도 측정 기법을 이용한 KAI 산업체 요구사항 매핑 테스트케이스 추천 시스템

주가희 (경상대학교), 이효원 (경상대학교), 박지성 (경상대학교), 구나영 (경상대학교), 장혁 (KAI), 이선아 (경상대학교)

B3: Maintenance


[최우수 일반 논문] Access log data 기반의 IT 인프라 이상징후 감지 모델

김정원 (KAIST), 최호진 (KAIST)

[단편 논문] eBPF 기반 System Monitoring Application 조사 연구

송소민 (경북대학교)