Software Engineering: Chapter 9 - Software Testing presents about Program testing goals, Validation and defect testing, Testing process goals, Statement Coverage for White Box Testing, Assertion-based Testing, An input-output model of program testing.