- Reading Papers
- 文献阅读记录
目录
- # 1. model-checking
- 1-1. Reading Papers - Model Checking Overview1-2. Reading Papers - In-Situ Model Checking
- # 2. fuzzing
- 2-1. Reading Papers - Fuzzing Overview (unfinished)2-2. Reading Papers - Black-Box Fuzzing2-3. Reading Papers - Grey-Box Fuzzing2-4. Reading Papers - White-Box Fuzzing2-5. Reading Papers - Hybrid Fuzzing2-6. Reading Papers - Directed Fuzzing2-7. Reading Papers - Fuzzing (Others)
- # 3. symbolic-execution
- # 4. verification
- 4-1. Reading Papers - File System Verification
- # 5. concurrency-testing
- 5-1. Reading Papers - Concurrency Testing Overview (unfinished)5-2. Reading Papers - Data Race Detection5-3. Reading Papers - Atomicity Violation5-4. Reading Papers - Scheduling Control5-5. Reading Papers - Partial Order Reduction5-6. Reading Papers - Coverage Criteria for Concurrency Testing
- # 6. crash-consistency
- # 7. kernel-testing
- 7-1. Reading Papers - Kernel Testing Overview (unfinished)7-2. Reading Papers - Kernel Fuzzing7-3. Reading Papers - Kernel Verification7-4. Reading Papers - Kernel Concurrency7-5. Reading Papers - Kernel Safety
# CCCCCCCC
- 01
- Reading Papers - Kernel Concurrency06-01
- 02
- Linux Kernel - Source Code Overview05-01
- 03
- Linux Kernel - Per-CPU Storage05-01