|
Mar 29, 2024
|
|
|
|
COSC 6386 - Program Analysis and TestingCr. 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)
|
|