2015-2016 Graduate Academic Catalogue 
    Sep 26, 2023  
2015-2016 Graduate Academic Catalogue [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CS 780 - Software Reliability and Testing

(3.00 cr.)

Prerequisite: CS 770 . Explores approaches to testing and analysis aimed at improving software quality, safety, and reliability across the software development lifecycle. Topics include concepts, models, and design techniques related to software reliability. 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.

Last semester offered, Spring 2015.

Add to Portfolio (opens a new window)