University of Oregon Computer & Information Science

CIS 610 / OMSE 525 Course Schedule
Fall 1999

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 GUEST LECTURES	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	Reading: Jackson 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

Likely changes:

• Complete citations for the readings will be added later. Most of these will be available electronically, but a few will be handed out in hard-copy form. I will add some readings (I intend to keep up a pace of approximately 2 papers each week), and some of these readings may be replaced with others. Lecture notes may also be assigned as reading for some topics.
• Dates are approximate. We may take more time on some topics and less on others. Your comments are useful in allocating course time in the most useful way.
• Exercises and homeworks need to be fleshed out. My tentative idea is to have an in-class code or design inspection, a model-checking homework and an in-class exercise using the SPIN model-checker, and a homework or exercise on testing.
• I will probably add a paper or project requirement, but I haven't added that to the schedule yet.

* 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.