Unit IV: Specification and testing

Lecture notes

Sample Programs

Lab exercises

Reading

You should look at Chapter 10 of the textbook.