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. Lect: 4 hrs. Prerequisites: CPS 406 and MTH 310 Course Weight: 1.00 Billing Units: 1
