• Various test procesess and continuous quality improvement
• Types of errors and fault models
• Methods of test generation from requirements
• Behavior modeling using UML: Finite state machines (FSM)
• Test generation from FSM models
• Input space modeling using combinatorial designs
• Combinatorial test generation
• Test adequacy assessment using: control flow, data flow, and program mutations
• The use of various test tools
• Application of software testing techniques in commercial environments

Prerequisites: Junior/Senior in CS, ECE, or IE. Must have a good working knowledge of Java and C/C++.