Go to Main Content

SCT WWW Information System



Detailed Course Information


Fall 2017 Semester
Sep 21, 2020
Transparent Image
Information Select the desired Level or Schedule Type to find available classes for the course.

CS 6530 - Analysis of Software Artifacts
Addresses all kinds of software artifacts—specifications, designs, code, and so on—and covers both traditional analyses, such as verification and testing, and promising new approaches, such as model checking, abstract execution, and new type systems. Focuses on the analysis of function (for finding errors in artifacts and to support maintenance and reverse engineering), but the course also address other kinds of analysis (such as performance and security).
4.000 Credit hours
4.000 Lecture hours

Levels: Graduate
Schedule Types: Lecture

Computer Science Department

Course Attributes:
GSCS Computer & Info Science

Must be enrolled in one of the following Levels:     
Must be enrolled in one of the following Colleges:     
      Khoury Coll of Comp Sciences

Graduate level CS 5500 Minimum Grade of C- or Undergraduate level CS 5500 Minimum Grade of D-

Return to Previous New Search
Transparent Image
Skip to top of page