University of Oregon
This schedule is tentative. The details are almost certain to change, but the overall outline should remain fairly consistent.
|Week||Topics||Readings* / Exercises / Notes|
|1: Sep 28||Introduction, Qualities, Process||Reading: Leveson|
|2: Oct 4||Inspection||Reading: Russel, Votta
Exercise: In-class inspection exercise
|3: Oct 11||Static Analysis: symbolic execution, finite-state verification||Reading: Hantler & King, Holzmann|
|4: Oct 18||Abstract interpretation; temporal logic
|Reading: Abramsky & Hankin, Lamport
Note: Michal is at ICECCS 99 this whole week; the exact lecture topics will be selected to make the best use of guest lecturers.
|5: Oct 25||Flow analysis
GUEST LECTURE TUESDAY
Note: Michal is at the National Science Foundation on Tuesday. The lecture topic Tuesday is TBD.
|6: Nov 1||Static analysis wrap-up||Exercise: SPIN|
|7: Nov 8||Dynamic testing (intro)||Reading: Butler & Finelli|
|8: Nov 15||Testing methodology||Reading: Ostrand & Balcer|
|9: Nov 22||Test tools; Design for test||Reading: Rosenblum, Bochmann|
|10: Nov 29||Process revisited; wrap up||Reading: TBD|
|11: Dec 6||No class; final exams week|
* Readings are to be completed by the beginning of class Tuesday of each week, except that in week 1 the reading should be completed by class time Thursday.