COMP SCI 458: Software Testing and Verification
Course Description
Introduction to principles and techniques of software testing and verification for quality assurance in software development processes. Topics include functional testing, structural testing, test automation, specification-based testing, model-based testing, static code analysis, and formal verification.