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

Challenges on System IP Design Automation Software

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

프로그램 합성 소개

Towards Secure Interoperation in Android

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

SE 관련 교육과 인재양성

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

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

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

[최우수 일반 논문] 사전 학습 언어 모델들을 활용한 버그 담당자 자동 할당 성능 향상
왕대성 (중앙대학교), 성훈 (중앙대학교), 김민하 (중앙대학교), 이찬근 (중앙대학교)

[일반 논문] 해석 가능한 시계열 이상탐지 모델을 활용한 생산 능력 계획 수립 방안
강민정 (광운대학교), 이상민 (광운대학교)

[최우수 일반 논문] 오픈 소스 기계학습 어플리케이션에 대한 결함 사례 조사
최윤호 (한동대학교), 이창공 (한동대학교), 방제형 (한동대학교), 남재창 (한동대학교)

[학부생 논문] 양방향 메트릭 선택 기반 비지도 학습 결함 예측
백인선 (한동대학교), 권수진 (한동대학교), 박성수 (한동대학교), 박수은 (한동대학교), 남재창 (한동대학교)

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

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

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

[초청 논문] 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)

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

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

[초청 논문] 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 네트워크 기능 가속기를 지원하기 위한 빠르고 효율적인 소프트웨어 스택
부준혁 (서울대학교), 김장우 (서울대학교)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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