자동 프로그램 수정ㅣ 연구 동향 ㅣ슈어소프트 기술 컨퍼런스
2022년 슈어소프트 기술 컨퍼런스가 진행되었습니다 이번 컨퍼런스에서는 현재 슈어소프트가 진행하고 있는 정부 과제를 진행하는 과정의 연구 동향을 살펴볼 수 있습니다 [목차] 00:22 자동 프로그램 수정의 개요 02:55 패치 공간 구성 06:00 패치 공간 구성 : 템플릿 기반 07:58 패치 공간 구성 : GetaFix 20:18 패치 공간 탐색 30:19 패치 공간 탐색 : Partial MaxSMT 사용 35:03 패치 공간 탐색 : VarFix 40:22 패치 검증 46:16 프로그램 수정을 이용한 Fault Localiaztion 🔎공식 블로그: 🔎인스타그램: 🔎페이스북: #SW #오류수정 #기술 #슈어소프트 #컨퍼런스
