CSI 5370 - Software Verification and Testing

(4 credits)

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. Prerequisite: Student must have graduate standing. Formerly CSI 5380. Cross-listed with CSI 4370.

Course revisions made after the Graduate Catalog publication date will be posted in the Graduate Catalog Addendum.