Skip to content

Georgia Tech | College of Computing Georgia Institute of Technology College of Computing

Online Master of Science
Computer Science (OMS CS)

Menu
Close
  • Home
  • Prospective Students
    • Why OMS CS?
    • Admission Criteria
    • Preparing Yourself for OMSCS
    • Application Deadlines, Process and Requirements
    • FAQ
  • Current Students
    • Student Portal
    • Technical Requirements
    • Career Resources
      • OMSCS Digital Career Seminars
      • OMSCS Career Services Guide
      • Handshake
      • Submit Your Resume for Review
      • Career Webinars
    • Program Announcements
  • Program Information
    • Cost and Payment Schedule
    • Current Courses
    • Specializations
    • People
    • The Numbers
    • 2021 Impact Report
  • 2023 OMSCS Conference
    • About the Conference
    • Registration
    • Program
    • Keynote Address
    • Location
    • Travel and Accommodations
    • Call for Proposals
    • Meet the Chairs
    • FAQ
  • OMS Buzz
    • Program News
    • Student Spotlight
    • TA Spotlight
    • Alumni Spotlight
    • Social Media
  • Apply Now
  • Contact Us
  • Georgia Tech Home
  • Campus Map
  • Directory
  • Offices
  • Facebook
  • Twitter
  • Instagram
  • YouTube
Search

Search form

  • You are here:
  • GT Home
  • Home

CS 6340: Software Analysis Course Videos

0. Software Analysis Course Introduction

1. Introduction To Software Analysis

2. Introduction To Software Testing

3. Random Testing

4. Automated Test Generation

5. Dataflow Analysis

6. Pointer Analysis

7. Constraint-Based Analysis

8. Type Systems

9. Statistical Debugging

10. Delta Debugging

11. Dynamic Symbolic Execution

Explore

  • Home
  • Prospective Students
    • Why OMS CS?
    • Admission Criteria
    • Preparing Yourself for OMSCS
    • Application Deadlines, Process and Requirements
    • FAQ
  • Current Students
    • Student Portal
    • Technical Requirements
    • Career Resources
    • Program Announcements
  • Program Information
    • Cost and Payment Schedule
    • Current Courses
    • Specializations
    • People
    • The Numbers
    • 2021 Impact Report
  • 2023 OMSCS Conference
    • About the Conference
    • Registration
    • Call for Proposals
    • Location
    • Travel and Accommodations
    • Meet the Chairs
  • OMS Buzz
    • Program News
    • Student Spotlight
    • TA Spotlight
    • Alumni Spotlight
    • Social Media
  • Apply Now

Questions?

Contact:
OMSCS Helpdesk

Resources

Georgia Tech Resources

  • Offices & Departments
  • News Center
  • Campus Calendar
  • Special Events
  • GreenBuzz
  • Institute Communications

Visitor Resources

  • Campus Visits
  • Directions to Campus
  • Visitor Parking Information
  • GTvisitor Wireless Network Information
  • Georgia Tech Global Learning Center
  • Georgia Tech Hotel & Conference Center
  • Barnes & Noble at Georgia Tech
  • Ferst Center for the Arts
  • Robert C. Williams Paper Museum
Map of Georgia Tech

Georgia Institute of Technology
North Avenue, Atlanta, GA 30332
Phone: 404-894-2000

  • College of Computing
  • Schools
  • Contact Us
  • Emergency Information
  • Legal & Privacy Information
  • Accessibility | Download Adobe Reader
  • Accountability
  • Accreditation
  • Employment
  • GT Login
  • Standard Login
Georgia Tech

© Georgia Institute of Technology