McGill Course Finder
Ratings, difficulty and live seat counts for every course.
⌘K
Sort
—courses Rating Difficulty Reviews Seats

ECSE 561 — Automated Program Analysis and Testing

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.

  • Credits: 3
  • Faculty: Faculty of Engineering
  • Department: Electrical & Computer Engr
  • Prerequisites: ECSE 321 or COMP 303 or permission of the instructor