Dec 07, 2024  
2023-2024 Graduate Catalog 
    
2023-2024 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

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.



Add to Portfolio (opens a new window)