Software Analysis Lectures (Georgia Tech.)

1 comments

• rramadass 5 hours ago ago

  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.