Week 1:

• course syllabus -- introductory description of the course
• assignment 1 writeup -- a paper of interest
• lecture notes week 1 -- introduction to the class

Week 2:

• assignment 1 presentation times -- on monday and wednesday of week 3
• lecture notes week 2 -- assignment 1 ideas; concepts underlying testing research

Week 3:

• assignment 1 paper presentations -- in class on both monday and wednesday
• assignment 2 writeup -- readings on formal methods in testing; selection of class project

Week 4:

• meeting times for wednesday week 4 "lab"
• assignment 3 writeup -- presentation of selected class project, including presentation schedule
• lecture notes week 4 -- using formal specs to support testing (monday); class project proposals (wednesday)
• Generating Unit Tests from Specs, the Next Next Generation -- Corrigan and anyone else interested in the project can have a look here

Week 5:

• assignment 3 presentation times -- on monday and wednesday of week 5
• assignment 4 writeup -- read the paper participate in a discussion of it during class during week 6
• lecture notes week 5 -- the promise of spec-based test generation, a brief presentation of the evolving ideas on 509 project described here

Weeks 6:

• lecture notes week 6 -- survey of test coverage and adequacy

Week 7:

• assignment 5 writeup -- read two more recent papers; discuss them in class; answer some questions about them
• lecture notes week 7 -- administrative matters; project work; usability test participation

Week 8:

• assignment 6 writeup -- read two last papers; discuss them in class; answer some questions about them
• assignment 7 writeup -- final presentation of class project
• assignment 8 writeup -- final class project
• lecture notes week 8 -- administrative matters; project work; CT and OP

Week 9:

• lecture notes week 9, part 1 -- administrative matters; the dream of formal verification
• lecture notes week 9, part 2 -- details of formal program verification