ECSE 561. Automated Program Analysis and Testing.
Credits: 3
Offered by: Electrical & Computer Engr (Faculty of Engineering)
Terms offered: Winter 2026
View offerings for Winter 2026 in Visual Schedule Builder.
Description
Introduction to automated software analysis and testing techniques. Foundations of program analysis, software fault models, and test coverage models. Development
and design of automated program analysis and test generation techniques.
- (3-0-6)
- Prerequisites: ECSE 321 or COMP 303 or permission of the instructor