# Principles Of Program Analysis

## CSCI-6450

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.

4 credits
Cross-listed with:
CSCI-4450 Principles Of Program Analysis
Prereqs:
none

# Past Term Data
Offered
Not Offered
Offered as Cross-Listing Only
No Term Data
Simple View
Detailed View

| Spring | Summer | Fall
--- | --- | --- | ---
| (Session 1) | (Session 2) |
2026 |  |  |

2025

Principles Of Program Analysis (4c)

- Ana L. Milanova

Seats Taken: 19/20

2024

Principles Of Program Analysis (4c)

- Ana L. Milanova

Seats Taken: 16/20

2023 |  |  |

2022

Principles Of Program Analysis (4c)

- Ana L. Milanova

Seats Taken: 14/15

2021

Principles Of Program Analysis (4c)

- Ana L. Milanova

Seats Taken: 11/10

2020

Principles Of Program Analysis (4c)

- Ana L. Milanova

Seats Taken: 13/15

2019

Principles Of Program Analysis (4c)

- Ana L. Milanova

Seats Taken: 7/15

2018

Principles Of Program Analysis (4c)

- Ana L. Milanova

Seats Taken: 10/15

2017 |  |  |
2016 |  |  |
2015 |  |  |
2014 |  |  |
2013 |  |  |
2012 |  |  |
2011 |  |  |
2010 |  |  |
2009 |  |  |
2008 |  |  |
2007 |  |  |
2006 |  |  |
2005 |  |  |
2004 |  |  |
2003 |  |  |
2002 |  |  |
2001 |  |  |
2000 |  |  |
1999 |  |  |
1998 |  |  |