CPS 707
Software Verification and Validation
This course introduces the topics of verification and validation of computer software. Material covered may include statistical and functional approaches to testing, test data analysis, testability, static analysis techniques, dynamic analysis techniques, selected state-of-the-art results, and real-world applications.
Prerequisites & course information
prerequisites: CPS 406 and CPS 420 and ( MTH 380 or MTH 304 )
Sources
- Course catalogue ↗2026-2027