CS 5393 Software Quality

For assignments dates please refer to the Assignments page on Canvas

Schedule is subject to change.

Date	lecture file	Topic	Due
Aug 30	intro SilverBullet.pdf qualities.pdf	Introduction , Software qualities
Sep 6	Foundations Inspections	Foundations, Inspections, Cleanroom
Sep 13	DAintro	Dynamic analysis intro
Sep 20	Assertions Mutations DataFlow	Assertions, Mutation testing, Dataflow coverage
Sep 27	Dependency	Dependency analysis
Oct 4	Fault-based JML	Fault-based testing, JML	HW1
Oct 11	JUnit XP	XP, JUnit , Midterm overview
Oct 18		Midterm
Oct 25	SymbEval	Symbolic evaluation	HW2
Nov 1	regression OOtest	Regression testing, OO testing
Nov 8	Verif1 Verif2	Verification Data flow analysis , state propagation
Nov 15		Project presentations	Projects
Nov 22	DeltaDebugging	Project presentations
Nov 29		Project presentations; Final overview	HW3