CSE 8263 Software Verification and Validation

Credits:(3)
Prerequisites: (CSE 3813 and either CSE 4214/6214 or CSE 8253)

Three hours lecture. The theory and practice of ensuring high-quality software products, including quality assessment, proof of correctness, testing, and verification and validation methodology.