Summary for Week 9

• Lectures 22 and 23:We finished the discussion on Alloy.
  Dates:Mon, 10/28/02 and Wed, 10/30/02.
• Lecture 24:We finished our dicussion on Alloy. We started discussing testing. We did an overview on white-box and black-box testing.
  Dates:Fri, 11/1/02.