
- 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 Overview2-2. Reading Papers - Black-Box Fuzzing2-3. Reading Papers - Grey-Box Fuzzing2-4. Reading Papers - White-Box Fuzzing2-5. Reading Papers - Directed Fuzzing2-6. Reading Papers - Kernel Fuzzing2-7. Reading Papers - Fuzzing Temp
- # 3. symbolic-execution
- # 4. verification
- 4-1. Reading Papers - File System Verification
- # 5. concurrency-testing
- 5-1. Reading Papers - Concurrency Testing Overview5-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 Overview7-2. Reading Papers - Concurrency Testing in Kernel