Feb 03, 2023  
Graduate Record 2021-2022 
Graduate Record 2021-2022 [ARCHIVED RECORD]

CS 6888 - Software Analysis and Applications

Effective Start Date: 01/01/2020
This course provides an overview of the state of the art in software analysis including static and dynamic analysis techniques and verification and validation. It explores the various ways that the analyses are used to predict software behavior. The applications include inference, symbolic execution, fault localization, model checking, security and performance. The course combines theory with practical implementation and usage. Prerequisites: CS 3240.

Credits: 3
Grading Basis: Graded