4/21 반복되는 SW오류, 어떻게 막을것인가? (허기홍 교수/KAIST 전산학부)
작성자
kaistsoftware
작성일
2025-04-07 13:02
조회
7122
- 강사 : 허기홍 교수 (KAIST 전산학부)
- 일시 : 2025. 4. 21. (월) 16:00~17:30
대개 개발자들이 기존 코드를 재사용하거나, 비슷한 동작을 하는 코드를 작성하면서 비슷한 실수를 하기 때문이다.
그렇다면 이미 발견된 바 있는 오류가 재발하는 것을 미연에 방지하는 방법은 무엇일까?
이 강연에서는 과거 발견된 각 오류의 특징과 유사한 오류를 탐지하는 프로그램 분석 기술에 관해 소개한다.
전체 163
| 번호 | 제목 | 작성자 | 작성일 | 추천 | 조회 |
| 공지사항 |
2026년 봄학기 콜로퀴엄 일정 안내
kaistsoftware
|
2026.03.04
|
추천 1
|
조회 2717
|
kaistsoftware | 2026.03.04 | 1 | 2717 |
| 142 |
5/26 Denoising Diffusion for 3D Human and Object Pose Estimation Under Interactions (김태균 교수/KAIST 전산학부)
kaistsoftware
|
2025.05.23
|
추천 0
|
조회 5313
|
kaistsoftware | 2025.05.23 | 0 | 5313 |
| 141 |
5/19 이미지/비디오 생성 기술의 현재와 미래 (성민혁 교수/KAIST 전산학부)
kaistsoftware
|
2025.05.16
|
추천 0
|
조회 5160
|
kaistsoftware | 2025.05.16 | 0 | 5160 |
| 140 |
5/12 Startup Funding (최원호 교수/KAIST 전산학부)
kaistsoftware
|
2025.05.08
|
추천 0
|
조회 5472
|
kaistsoftware | 2025.05.08 | 0 | 5472 |
| 139 |
4/21 반복되는 SW오류, 어떻게 막을것인가? (허기홍 교수/KAIST 전산학부)
kaistsoftware
|
2025.04.07
|
추천 0
|
조회 7122
|
kaistsoftware | 2025.04.07 | 0 | 7122 |
| 138 |
4/7 Hacking Unmanned Vehicles (김용대 교수/KAIST 전기및전자공학부)
kaistsoftware
|
2025.04.04
|
추천 0
|
조회 6561
|
kaistsoftware | 2025.04.04 | 0 | 6561 |
| 137 |
3/24 Mobile AI Agent (신인식 교수/KAIST 전산학부)
kaistsoftware
|
2025.03.21
|
추천 0
|
조회 7264
|
kaistsoftware | 2025.03.21 | 0 | 7264 |
| 136 |
3/17 Analyzing LLM Inference Chains (유신 교수/KAIST 전산학부)
kaistsoftware
|
2025.03.10
|
추천 0
|
조회 7761
|
kaistsoftware | 2025.03.10 | 0 | 7761 |
| 135 |
3/10 AI 의인화와 윤리적 문제: AI는 어떻게 사람처럼 보이도록 설계되었는가? (김진형 교수/KAIST 전산학부)
kaistsoftware
|
2025.03.05
|
추천 0
|
조회 10508
|
kaistsoftware | 2025.03.05 | 0 | 10508 |
| 134 |
2025년 봄학기 콜로퀴엄 일정 안내
kaistsoftware
|
2025.02.27
|
추천 0
|
조회 15917
|
kaistsoftware | 2025.02.27 | 0 | 15917 |
| 133 |
11/25 Finding Security Vulnerabilities in Layer-1 and Layer-2 Blockchains (강민석 교수/KAIST 전산학부)
kaistsoftware
|
2024.11.21
|
추천 0
|
조회 11376
|
kaistsoftware | 2024.11.21 | 0 | 11376 |
