CSI 4370 - Software Verification and Testing

(4)

This course is designed to introduce the basic principles and techniques, facilitated by state-of-the-art software tools, in software verification and testing. Real-world examples are adopted to help understand and practice the underlying theory. Cross-listed with CSI 5370.