Mar 29, 2024  
2012-2013 Graduate Catalog 
    
2012-2013 Graduate Catalog [Not Current Academic Year. Consult with Your Academic Advisor for Your Catalog Year]

Add to Portfolio (opens a new window)

COSC 6386 - Program Analysis and Testing

Cr. 3. (3-0)
Prerequisite: consent of instructor. Introduction to concepts and problems related to programcorrectness; formal basis and techniques for program analysis, program testing, test-case generation, and their applications.



Add to Portfolio (opens a new window)