CS 692 Software Verification and Validation

Concepts and techniques for testing software; unit, integration, system, and regression testing; test coverage, test case generation, tools for automated testing. Verification of nonfunctional properties. Prerequisite: CS 690 or 498.