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.