A focus on the testing techniques, concepts, and processes needed to produce high quality, commercial grade software. The course examines the underlying theories that drive adequacy criteria for effective testing and exposes students to current research in software testing.