The goal of this course is to understand the need for software testing, different techniques of software modeling, and using those models for testing. Also, practical software testing, verification, and validation are the goals of the proposed course.