Programs & Data (9th Workshop)

The first day (2025.07.28.(Mon))

Opening Address

Programs

시간	제목	구분	발표자	소속
14:00 ~15:00	공급망 보안을 위한 SBOM 생성 및 VEX 검증기술 연구 []	초청발표	교수 이희조	고려대
15:00 ~15:20	휴식	-	-	-
15:20 ~15:50	1그룹(SW재난 탐지) 연구성과 소개	1그룹발표	교수 홍신	충북대
15:50 ~16:20	2그룹(SW재난 대응) 연구성과 소개	2그룹발표	교수 오학주	고려대
16:20 ~16:50	3그룹(SW재난 재발방지) 연구성과 소개	3그룹발표	교수 배경민	POSTECH
16:50 ~17:10	휴식	-	-	-
17:10 ~17:35	Path-directed Greybox Fuzzing for Failure Reproduction	연구발표	교수 홍신	충북대
17:35 ~18:00	Runtime Information-Augmented LLM for Precise MISRA-C Rule Check []	연구발표	이아청	KAIST
18:00 ~18:25	명세기반 큐브위성 테스팅 프레임워크	연구발표	김경원	KAIST
18:25 ~20:00	저녁식사	-	-	-
20:00 ~22:00	포스터 세션 1	-	-	-

The second day (2025.07.29.(Tue))

Programs

시간	제목	구분	발표자	소속
09:30 ~10:30	커널 취약점 탐지 및 공격 []	초청발표	교수 이병영	서울대
10:30 ~10:50	휴식	-	-	-
10:50 ~11:15	A Tool for Active Learning of FSM Models from C Programs	연구발표	김요엘	경북대
11:15 ~11:40	Utilization of Activation Property DB for Efficient Incremental Neural Network Verification []	연구발표	채승현	POSTECH
11:40 ~12:05	VeriSafe Agent: 안전한 모바일 GUI 에이전트를 위한 논리 기반 에이전트 행동 검증 []	연구발표	이동재	KAIST
12:05 ~13:30	점심식사	-	-	-
13:30 ~14:30	대규모 공공정보시스템 SW 안전확보 사례 소개 []	초청발표	센터장 김광훈	TTA
14:30 ~14:50	휴식	-	-	-
14:50 ~15:15	한양대학교 프로그래밍시스템연구실 연구소개 []	연구발표	교수 이우석	한양대
15:15 ~15:40	소프트웨어의 오류 탐지 및 복구능력 향상을 위한 로그 분석 연구 현황	연구발표	교수 탁병철	경북대
15:40 ~16:05	시스템 이상징후 탐지를 위한 모니터링 및 로그 기반 이상징후 탐지 기술 소개 []	연구발표	교수 권영우	경북대
16:05 ~16:30	휴식	-	-	-
16:30 ~18:30	포스터 세션 2	-	-	-
18:30 ~20:00	저녁식사	-	-	-

The closing day (2025.07.30.(Wed))

Programs

시간	제목	구분	발표자	소속
09:30 ~09:55	트랜스포머 기반 시스템의 불확실성 정량화 []	연구발표	교수 유신	KAIST
09:55 ~10:20	LLM과 함께하는 테스팅과 디버깅 []	연구발표	교수 김윤호	한양대
10:20 ~10:45	Stabilizing and Automating Web UI Testing []	연구발표	교수 손정주	경북대
10:45 ~11:05	휴식	-	-	-
11:05 ~11:30	보안 취약성 패치 검증 [] @ 자동 프로그램 수정의 신뢰성 확보	연구발표	한승헌, 김영재	UNIST
11:30 ~11:55	PRISM: 자동 수정 기술 성능 향상을 위한 의미기반 과적합 패치 탐지	연구발표	송도원	고려대
11:55 ~12:30	시상 및 폐회	-	-	-