CEN 6070
Software Testing and Verification
Concepts, principles, and methods for software testing and verification. Topics include human and machine-based testing strategies, formal proofs of correctness, and software reliability.
Topics
- human and machine-based testing strategies
- formal proofs of correctness
- and software reliability
Topics explicitly listed in official catalogue description
Prerequisites & course information
Grading Scheme: Letter Grade Prerequisite: CEN 5035 .
Sources
- Course catalogue ↗2025-2026