https://prl.korea.ac.kr/courses/cose419/2024/ https://github.com/kupl-courses/COSE419-2024/

정리

Part 0: Overview

[강의1] 소프트웨어 분석의 갈래

[강의1] 세 가지 실행(concrete/symbolic/abstract)은 모두 동적 분석에 해당하는가? 🤖

Part 1: Testing

[강의2] (참고) ⊤과 ⊥

[강의2] Powerset(멱집합) 🤖

[강의2] branch/condition/decision coverage 차이 🤖

[강의3] Testing의 사용자 선택 요소

[강의3] https://www.fuzzingbook.org/html/MutationFuzzer.html

Part 2: Verification

[강의4] 가정이 거짓이면 조건문이 참인 이유 🤖

[강의4] 논리식(fomula)과 주장(claim, assertion)의 차이 🤖

[강의4] semantic assertion 🤖

[강의4] (참고) provable (기호 ⊢) 개념 🤖

[강의4] 공집합에서 conjunction과 disjunction 🤖