Skip to content
Free Course

Software Analysis & Testing

Georgia Institute of Technology

Offered at Georgia Tech as CS 6340

About this Course

This course covers the theory and practice of software analysis, which lies at the heart of many software development processes such as diagnosing bugs, testing, debugging, and more. It presents diverse techniques, each with their own strengths and limitations, for automating tasks such as testing, debugging, and finding bugs in complex real-world programs. These techniques include dataflow analysis, constraint-based analysis, type systems, model checking, symbolic execution, and more. The course teaches the principles underlying these techniques as well as imparts hands-on experience with using and implementing tools based on these techniques.

Course Cost
Approx. 16 weeks
Skill Level
Included in Product

Rich Learning ContentRich Learning Content

Interactive QuizzesInteractive Quizzes

Taught by Industry ProsTaught by Industry Pros

Self-Paced LearningSelf-Paced Learning

Course Leads

Chris Pryby

Chris Pryby


Mayur Naik

Mayur Naik


Prerequisites and Requirements

To be prepared for this course, you should be very comfortable with:

  • Mathematical and logical reasoning (e.g. basics of set theory, graph theory, boolean algebra, and probability)

  • Programming in a high-level language like Java

  • Shell scripting on Linux-like operating systems

See the Technology Requirements for using Udacity.

Why Take This Course

Take this course if you need to learn how to test complex, large-scale programs using state of the art testing paradigms.

What do I get?
  • Instructor videos
  • Learn by doing exercises
  • Taught by industry professionals