Lecture 3b: Testability Analysis