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