Mar 28, 2024  
2013-2015 Undergraduate and Graduate Academic Catalog 
    
2013-2015 Undergraduate and Graduate Academic Catalog [ARCHIVED CATALOG]

Add to Catalog (opens a new window)

CSCE 557 - Software Testing and Verification


3 Credit(s). 0 Hour(s) Lab. 3 Hour(s) Lecture.

Techniques and tools that are used inn the testing and verification of reliable software. Topics include debugging, technical reviews, static analysis, dynamic analysis, test coverage, formal verification techniques, symbolic execution, and automatic test data generation.



Add to Catalog (opens a new window)