CSC410:  Software Testing and Verification Fall 2018

Instructor: Prof. Marsha Chechik, BA3648, 416-978-3820,


Course times: Lecture 0101: Thursdays 11:00-1:00 (L) in SS1085, Mondays 11-12 (T) in SS 1085

Lecture 0201: Fridays 11:00-1:00 (L) in SS 2105, Mondays 12-1 (T) in SS 2105


Office Hours: Thursdays and Fridays 10-11 and by appointment


Teaching assistants:

Federico Mora, (Head TA)

Nick Feng,

Aamod Kore,


Piazza link:


        All course materials, announcements, etc. will be available through piazza. Please enrol ASAP at

        Classes start the week of Sept. 3, 2018




        Information Sheet

        Reading List