272: Software Engineering Fall 2012 Instructor: Tevfik Bultan Lecture 5: Testing Overview, Foundations.