Week 2
-- assignment 1 ideas; concepts underlying testing research
Week 3
-- class member presentations of selected testing research
Week 4
-- using formal specs to support testing (Monday); class project proposals
(Wednesday)
Week 5
-- the promise of spec-based test generation
Week 6
-- survey of test coverage and adequacy
Week 7
-- administrative matters; project work; usability test participation
Week 8
-- administrative matters; CT and OP
Week 9, Part 1
-- administrative matters; the dream of formal verification
Week 9, Part 2
-- details of formal program verification
