Advanced Software Analysis, Testing and Verification.

Catalog description

Semester course; 3 lecture hours. 3 credits. Prerequisite: CMSC 525 . Studies the concepts and techniques used in the analysis of software and the derivation of test data. Focuses on software metrics and reliability; construction of tools to aid software analysis and testing. Requires students to review seminal and current papers from the literature, and lead their discussion in class.