Due to technical difficulties with the Course Catalogue, students should confirm course availability with Visual Schedule Builder (VSB) and Minerva. In cases where the Course Catalogue differs from these systems, VSB and Minerva should be considered the source of truth.

ECSE 561. Automated Program Analysis and Testing.

Credits: 3
Offered by: Electrical & Computer Engr (Faculty of Engineering)
Terms offered: Winter 2027
View offerings for Winter 2027 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

Most students use Visual Schedule Builder (VSB) to organize their schedules. VSB helps you plan class schedules, travel time, and more.

Launch Visual Schedule Builder
Back to top

We use cookies to help improve the usability of our websites.

What are you comfortable with?