| |
Jul 30, 2025
|
|
|
|
|
CSCI 6450 - Principles of Program Analysis
The goal of this course is to introduce students to program analysis and its many applications in software engineering, particularly in improving software quality and software productivity. Concretely, students who successfully complete this course should be able to: (1) understand and apply program analysis techniques, such as dataflow analysis and type-based analysis; (2) implement program analysis; (3) understand and apply software testing techniques, such as black-box testing and white-box testing; and (4) understand and apply refactoring techniques.
Prerequisite: Prior knowledge of CSCI 4430
When Offered: SPRING TERM, EVEN YEARS
Co-Listed: CSCI 4450 . Students cannot receive credit for both CSCI 4450 and CSCI 6450.
Graded: GRADED
Credit Hours: 4
Add to Portfolio (opens a new window)
|
|
