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.
