I created this course as a seminar in software testing. It combined theoretical and practical aspects of software testing, as well as a small and simple overview of the state of the art of program verification. The testing component included software testing selection strategies, test data adequacy criteria, and practical issues such as driver creation and test harnesses. The validation component was presented with a minimal mathematical emphasis, to try to reach as many students as possible. I have not taught this class since 1993, but if there is student interest, it can be revived.