This is an in-class group exercise. Form small groups and discuss the questions amongst yourselves. You have 5 minutes per question.

1. (after slide 2) Discuss software correctness. Have you thought of correctness in software as possible or impossible? Do you agree with the claim in the book, or is it hard to accept?
   
   
2. (after slide 6) Discuss test oracles. Have you written many automated tests? How did you decide what assertions to write? Do you think you ever checked the wrong part of the state?
   
   
3. (after slide 30) Discuss coverage criteria. Why do software organizations use coverage criteria? Why don't more software organizations use coverage criteria?