4/21 반복되는 SW오류, 어떻게 막을것인가? (허기홍 교수/KAIST 전산학부)

작성자

kaistsoftware

작성일

2025-04-07 13:02

조회

7003

강사 : 허기홍 교수 (KAIST 전산학부)
일시 : 2025. 4. 21. (월) 16:00~17:30

많은 소프트웨어를 살펴보면 상당히 비슷한 오류가 시간과 공간을 넘어 반복해서 등장한다.
대개 개발자들이 기존 코드를 재사용하거나, 비슷한 동작을 하는 코드를 작성하면서 비슷한 실수를 하기 때문이다.
그렇다면 이미 발견된 바 있는 오류가 재발하는 것을 미연에 방지하는 방법은 무엇일까?
이 강연에서는 과거 발견된 각 오류의 특징과 유사한 오류를 탐지하는 프로그램 분석 기술에 관해 소개한다.

« 4/7 Hacking Unmanned Vehicles (김용대 교수/KAIST 전기및전자공학부)

5/12 Startup Funding (최원호 교수/KAIST 전산학부) »

목록보기

전체 163

번호	제목	작성자	작성일	추천	조회
공지사항	2026년 봄학기 콜로퀴엄 일정 안내 kaistsoftware \| 2026.03.04 \| 추천 1 \| 조회 2153	kaistsoftware	2026.03.04	1	2153
162	5/18 믿고 쓸만한 AI 에이전트를 위하여 (허기홍 교수/KAIST 전산학부) kaistsoftware \| 2026.05.06 \| 추천 0 \| 조회 108	kaistsoftware	2026.05.06	0	108
161	5/11 LLMServingSim: Bridging AI Hardware Innovation and Real-World LLM Serving (박종세 교수/KAIST 전산학부) kaistsoftware \| 2026.05.06 \| 추천 0 \| 조회 136	kaistsoftware	2026.05.06	0	136
160	4/27 From Visual Understanding to Embodied Intelligence: Agentic AI and Physical AI in Robotics (윤성의 교수/KAIST 전산학부) kaistsoftware \| 2026.04.17 \| 추천 0 \| 조회 198	kaistsoftware	2026.04.17	0	198
159	4/20 World Model: Spatial Physical Generative AI (김태균 교수/KAIST 전산학부) kaistsoftware \| 2026.04.17 \| 추천 0 \| 조회 200	kaistsoftware	2026.04.17	0	200
158	4/13 LLM 시대의 Computer Science 교육과 AI 연구의 미래 (성민혁 교수/KAIST 전산학부) kaistsoftware \| 2026.04.10 \| 추천 0 \| 조회 239	kaistsoftware	2026.04.10	0	239
157	4/6 Mobile AI Agent (신인식 교수/KAIST 전산학부) kaistsoftware \| 2026.04.10 \| 추천 0 \| 조회 260	kaistsoftware	2026.04.10	0	260
156	3/30 Keeping up with the abstraction - software engineering for AI (유신 교수/KAIST 전산학부) kaistsoftware \| 2026.03.30 \| 추천 0 \| 조회 424	kaistsoftware	2026.03.30	0	424
155	3/23 그래프 기계학습을 활용한 인공지능 기술의 최신 연구 동향 (황지영 교수/KAIST 전산학부) kaistsoftware \| 2026.03.19 \| 추천 0 \| 조회 588	kaistsoftware	2026.03.19	0	588
154	3/16 AGI 시대의 도래, 대학교욱의 역할을 다시 묻는다 (김진형 교수/KAIST 전산학부) kaistsoftware \| 2026.03.19 \| 추천 0 \| 조회 831	kaistsoftware	2026.03.19	0	831
153	12/1 Car as an Experience - Designing for the Driving Context (정세빈 부장/GM Korea) kaistsoftware \| 2025.11.28 \| 추천 1 \| 조회 1631	kaistsoftware	2025.11.28	1	1631