Humans writing tests.
- High feature coverage
- Good oracles (the developer)
- Can run other analyses on the tests (i.e. [[Compiler Sanitizers]])
- High effort (developer time is expensive)
- Missed corner cases (cannot cover cases the developer did not consider)