Table of contents
- Homework 0: Setup
- Homework 1: Coverage Warmup
- Homework 2: Coverage
- Homework 3: Fuzzing with AFL
- Homework 4: Generating Tests with EvoSuite
- Homework 5: Invariants and Partial Oracles
- Homework 6: Mutation Testing
- Homework 7: Static Analysis with Infer
- Homework 8: Abstract Interpretation Design
- Homework 9: Abstract Interpretation Implementation
- Homework 10: Formal Methods with Z3