CSC 509
Lectures

• Week 1 -- introduction to the class

• 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