SWE 6673: Software Testing and Verification

3 Credit Hours
Prerequisite: SWE 6623
This course covers concepts, principles, and techniques related to software testing and formal program verification. The course defines the concept of quality in software developments and product and explains how to develop a quality/test plan.The notion of validation and verification is explained in the context of different testing techniques, which include black box testing and white box testing, and other techniques such as inspection and formal verification. The emphasis of the course is on testing techniques, ranging from unit testing to regression testing.