CS780 Software Reliability and Testing   (3.00 cr.)

Prerequisite: CS770. Reliability topics include concepts and models, design techniques, management considerations, and issues of software security. Testing topics include formal and informal methods; dynamic, static, and data-flow program analysis; selection of test cases; program instrumentation; mutation analysis; and symbolic execution.