Software Analysis & Testing

Offered at Georgia Tech as CS 6340

Created by: Chris Pryby

icon
Quality Score

Content Quality
/
Video Quality
/
Qualified Instructor
/
Course Pace
/
Course Depth & Coverage
/

Overall Score : 0 / 100

icon
Course Description

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.

icon
Instructor Details

placeholder

icon
More software testing courses

Rest API Testing (Automation) from Scratch -RestAssured Java

$11.99

The Complete 2021 Software Testing Bootcamp

$11.99

Appium -Mobile Automation Testing from Scratch + Frameworks

$11.99

Cypress -Modern Automation Testing from Scratch + Framework

$11.99

Unit Testing for C# Developers

$11.99

Master Software Testing+Jira+Agile on Live App-Be a TeamLead

$11.99

icon
Reviews

0.0

0 total reviews

5 star 4 star 3 star 2 star 1 star
% Complete
% Complete
% Complete
% Complete
% Complete

No reviews yet. Be the first to review this course!