Aug 16, 2018  
2017-2018 Graduate Catalog 
    
2017-2018 Graduate Catalog
[Add to Portfolio]

CEN 6070: Software Testing and Verification


Credits: 3                    Grading Scheme: Letter

Prerequisite: CEN 5035 .      

Concepts, principles, and methods for software testing and verification. Topics include human and machine-based testing strategies, formal proofs of correctness, and software reliability.



[Add to Portfolio]