On Non-Functional Requirements in Software Engineering

산업 AI를 위한 소프트웨어 공학

다중언어 안드로이드 앱의 정적 분석

경험적 연구를 위한 GitHub 오픈소스
소프트웨어 데이터 수집

모델-검증기법을 적용한
자가-적응 소프트웨어 프레임워크

[초청 발표] 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 탐색 전략
최한솔 (한동대학교), 홍신 (한동대학교)

Better, Cheaper, and Faster Than Humans:
Automated Test Generation for Improving Software Quality
김윤호 (한양대학교)

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

[일반 논문] 코드 블록과 장단기 메모리를 활용한
프로그램 버그 정정 기법
호혜민 (서울시립대), 양근석 (서울시립대), 이병정 (서울시립대)

[단편 논문] 임베디드 소프트웨어 도메인에서의
프로그램 합성 기법의 성능 확인을 위한 사례연구
김요엘 (경북대학교), 최윤자 (경북대학교)

[일반 논문] 근로계약서를 위한 SPL 기반
실행 가능한 리카르디안 컨트랙트 생성 프레임워크
홍준기 (전북대학교), 김순태 (전북대학교), 류덕산 (전북대학교)

[단편 논문] 온톨로지 기반
위험 구성 요소 분석을 통한
보안 요구사항 추천 방법 : 심층 보안 방어 관점
정지욱 (아주대학교), 이석원 (아주대학교)

[단편 논문] 비상호적 차분 프라이버시 모델의
노이즈 파라미터 분배 기법
김성민 (연세대학교), 이원석 (연세대학교)

[단편 논문] CCTV 영상 무결성 지원을 위한
대용량 이미지 블록체인 저장 방안
김태영 (전북대학교), 김순태 (전북대학교), 강민구 (전북대학교), 송성한 (전북대학교), 홍준기 (전북대학교)

[일반 논문] 적합도와 메타-학습을 결합한
하이브리드 학습 기반 소프트웨어 신뢰도 예측 모델 선정 기법
이낙원 (KAIST), 류덕산 (전북대학교), 조일훈 (LIG), 송재건 (ADD), 백종문 (KAIST)

[우수 학부생 논문] 비지도 학습 기반
결함 예측 방법들의 성능 비교 연구
권수진 (한동대학교), 남재창 (한동대학교)

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

[일반 논문] ML을 활용한 Adaptive Streaming
재생 동기화
송기혁 (KAIST), 백종문 (KAIST)

[일반 논문] 데이터 변형이 딥러닝 모델의
안전에 미치는 영향 연구
김한동 (상명대학교)

[최우수 일반 논문] DNN을 이용한
효율적 컴파일 에러 위치식별 방법
배민지 (KAIST), 백종문 (KAIST)

[일반 논문] 테스트 커버리지 기반
장단기 메모리 모델 구조 결정
김민하 (중앙대학교), 이민수 (중앙대학교), 이찬근 (중앙대학교)

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

[학부생 논문] TF-IDF 기반 유사도 측정 기법을 이용한 KAI 산업체 요구사항 매핑
테스트케이스 추천 시스템
주가희 (경상대학교), 이효원 (경상대학교), 박지성 (경상대학교), 구나영 (경상대학교), 장혁 (KAI), 이선아 (경상대학교)

[후원 업체발표] AI Testing based on
ISO 29119-11
최영재 팀장/수석 (STA 테스팅컨설팅 주식회사)

[최우수 일반 논문] Access log data 기반의
IT 인프라 이상징후 감지 모델
김정원 (KAIST), 최호진 (KAIST)

[단편 논문] eBPF 기반 System Monitoring Application 조사 연구
송소민 (경북대학교)

Unit Test Fuzzing for C/C++

Automated Mobile Security Solutions
for End-users

[우수 일반 논문] Safety Assurance in Collaborative Cyber-Physical System through Fault Criticality Analysis
Manzoor Hussain (충북대학교), 홍장의 (충북대학교), Nazakat Ali (충북대학교)

[일반 논문] 스위치 모드 파워 컨버터에 적용된
다양한 지능형 제어기에 대한 설계 및 성능 비교
장진행 (KAIST), 최호진 (KAIST)

[일반 논문] 군집주행을 위한
ISO/PAS 21448 표준의 확장
김영재 (충북대학교), 홍장의 (충북대학교)

[초청 발표] MAESTRO: Automated test generation framework for high test coverage and reduced human effort in automotive industry (Journal of Information and Software Technology, 2020)
김윤호 (한양대학교), 이동주 (현대모비스), 백준기 (현대모비스), 김문주 (KAIST)

[일반 논문] A Systematic Translation from
PAT-based Counterexamples to Viable Test Sequences
Zelalem Mihret Belay (KAIST), Lingjun Liu (KAIST), 지은경 (KAIST), 배두환 (KAIST)

[우수 단편 논문] 입력 키워드 추출을 통한
뮤테이션 기반 Fuzzing의 성능 향상
조정인 (한동대학교), 홍신 (한동대학교)

[초청 발표] Predicting just‐in‐time software defects to reduce post‐release quality costs in the maritime industry (Journal of Software Practice and Experience, 2020)
강종구 (KAIST), 류덕산 (전북대학교), 백종문 (KAIST)

[우수 일반 논문] 마코프 모델을 이용한
PM 추론 및 행위 분석
김소연 (경기대학교), La Tung (경기대학교), 권기현 (경기대학교)

[일반 논문] 소프트웨어 결함 분석을 위한
딥 메트릭 러닝
강민구 (전북대학교), 최지원 (전북대학교), 류덕산 (전북대학교), 김순태 (전북대학교)

[학부생 논문] 협동 로봇 프로그래밍의
효율성 증대를 위한
마이크로서비스기반 플랫폼 설계
한성일 (KAIST), 고인영 (KAIST)

[학부생 논문] 협동 로봇 고장 진단을 위한
요구사항 분석 및 블랙박스 설계
김양곤 (아주대학교), 유동연 (아주대학교), 박예슬 (아주대학교), 이정원 (아주대학교)

[단편 논문] Design of Serverless Clusters
with stateless computing environment
정대욱 (KAIST), 백종문 (KAIST), 지은경 (KAIST)

[일반 논문] BERT 기반 자연어 처리 딥러닝 모델을 활용한 효과적인 버그 배정
최예람 (KAIST), 백종문 (KAIST)

[일반 논문] 협동 로봇의 예지보전 요구사항 기반
건전성 평가 기법
김진세 (아주대학교), 유동연 (아주대학교), 박예슬 (아주대학교), 이정원 (아주대학교)

[우수 단편 논문] 패치 우선순위화를 위한
소스 코드 표현방식에 따른 유사도 계산 기법 별
영향도 분석
허진석 (성균관대학교), 정호현 (성균관대학교), 이은석 (성균관대학교)

[최우수 일반 논문] 이슈 관리를 위한
다중 레이블 분류 봇
박도제 (경상대학교), 양혜진 (경상대학교), 최광현 (경상대학교), 이선아 (경상대학교), 강성원 (KAIST)

[일반 논문] 효율적인 웹 정보 수집을 위한
강화학습 기반 스케줄러 설계
정대욱 (KAIST), 백종문 (KAIST)

[후원 업체 발표] 대학 SW 프로젝트 산출물
통합 관리
박형권 이사 (주식회사 이에스지)

[학부생 논문] 단어 임베딩 유사도 측정을 통한
함수 구성요소에 사용된 단어 간 적합성 평가
남성국 (영남대학교), 서영석 (영남대학교)

[단편 논문] Variational AutoEncoder를 활용한
여행자 후기 기반 관광지 추천 알고리즘
조원희 (전남대학교), 김창영 (전남대학교), 김은수 (전남대학교), 김윤민 (전남대학교), 양형정 (전남대학교)

[단편 논문] 데이터 증강 기법을 활용한
심층 신경망 강건성 평가 방법
최영원 (부산대학교), 이영우 (부산대학교), 채흥석 (부산대학교)

[우수 일반 논문] 교차 버전 결함 예측을 위한 베이지안 최적화 프레임워크
최정환 (연세대학교), 류덕산 (전북대학교)

[학부생 논문] 결함 데이터 수집 통합 프레임워크
한주희 (한동대학교), 윤수빈 (한동대학교), 양수진 (한동대학교), 남재창 (한동대학교)

Adaptive Software Engineering