University
of Toronto, Department of Computer Science
CSC410: Software
Testing and Verification
Fall
2016
Instructor: Prof. Marsha Chechik, BA3648, 416-978-3820 (x83820), chechik@cs.toronto.edu
Course Times: Mondays 14:00-16:00 (L), 16:00-17:00 (T) BA1200
Office Hours: Mondays 1-2, Thursdays 10-11 and by appointment
Instructor: Dr. Cynthia Disenfeld, BA3242, 416-946-5239 (x65239),
cdisenfeld@cs.toronto.edu
Course Times: Tuesdays
14:00-16:00 (L), 16:00-17:00 (T) BA1200
Office Hours: Tuesdays 5-6, Fridays 2-3 and by appointment
Teaching assistants:
Yi Li, liyi@cs.toronto.edu (Head TA)
Ioanna Stavropoulou, ioanna@cs.toronto.edu
Jonathan Eidelman, jonathan.eidelman@mail.utoronto.ca
Chenguang Zhu, zhuchenguang.zhu@mail.utoronto.ca
Federico Mora, fmorarocha@gmail.com
Piazza link: http://piazza.com/utoronto.ca/fall2016/csc410/home
Announcements
·
All course materials, announcements, etc. will be available through
piazza. Please enrol ASAP at http://piazza.com/utoronto.ca/fall2016/csc410
·
First week’s classes meet at 2 p.m. in BA1200.
Resources
·
Syllabus