Software Verification and Testing

Undergraduate

599 Winter 2027 Undergraduate Calendar This course covers fundamental concepts and techniques for software verification and testing. The students will learn through practice the testing process, automated software testing tools, and various test models together with the related test coverage criteria. (Prerequisites: COMP-3110 and COMP- 3300.) (3 lecture hours a week)