2016-2017 Graduate Academic Catalogue 
    Aug 17, 2019  
2016-2017 Graduate Academic Catalogue [ARCHIVED CATALOG]

[Add to Portfolio]

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]