Official Course Page: https://omscs.gatech.edu/cs-6340-software-analysis

Course details at: https://rightingcode.github.io/ (Lessons/Labs/Books/etc.)

Includes:

1) Random Testing.

2) Automated Test Generation.

3) Dataflow Analysis.

4) Pointer Analysis.

5) Constraint-based Analysis.

6) Type Systems.

7) Statistical Debugging.

8) Delta Debugging.

9) Dynamic Symbolic Execution.