This course introduces software analysis and testing topics in the order in which they can be integrated into a software development lifecycle.
Here is the official course webpage.
I worked on each project for this course in a separate repository. Each project is added to this repository as a submodule. The submodules in this repository are private to uphold the Georgia Institute of Technology Academic Honor Code.