Software Analysis & Testing

Add to Favourites
1 1 1 1 1
Price: 4694 EUR 4694 EUR
Contact Georgia Institute of Technology

More details about the program

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.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.

Specific details

Category of Education Computer Sciense and IT

Comments (0)

There are no comments posted here yet

Leave your comments

Search

Related Programs

This course is for students with SQL experience an ...
Computer graphics can be a powerful tool for suppo ...
Learn to use the open development tool, App Invent ...
Computation is now pervasive, wide-reaching, and u ...

 

©2023 EDUCOM NET. All Rights Reserved.

If you find an inaccuracy or you have comments on the description of the university or program - please let us know info@educom.net