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
Prereqs:
none

Past Term Data

Offered
Not Offered
Offered as Cross-Listing Only
No Term Data
Spring Summer Fall
(Session 1) (Session 2)
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