CPSC 8730 - Software Verification, Validation and Measurement

3 Credits (3 Contact Hours)

Proofs of correctness; test planning; static and dynamic testing; symbolic execution; automated testing; verification and validation over the software life cycle; software metrics; software maintenance. Students are expected to have completed coursework in software engineering before enrolling in this course.