Date	Topic	Materials	Assignments
10/03	Introduction	Slides (4 pages)	Testing and debugging challenges (due 10/10 on Canvas)
10/10	Best practices and version control	Slides (4 pages)	In-class exercise (due 10/14 on Canvas; Set-up instructions)
10/17	Coverage-based testing	Slides (4 pages) Reading 1; Reading 2 (talk)	In-class exercise (due 10/23 on Canvas; Set-up instructions)
10/24	Mutation-based testing	Slides (4 pages) Reading 1 (Sections 1--2); Reading 2 (Sections 1--4); Reading 3	In-class exercise (due 10/30 on Canvas; Set-up instructions)
10/31	Delta debugging	Slides (4 pages) Code Reading 1	In-class exercise (due 11/06 on Canvas; Set-up instructions)
11/07	Invariants and partial oracles	Slides (4 pages) Reading 1 and 2	In-class exercise (due 11/13 on Canvas; Set-up instructions)
11/14	Statistical fault localization	Slides (4 pages) Reading 1 and 2	In-class exercise (due 11/20 on Canvas; Set-up instructions)
11/21	Static analysis	Slides (4 pages)
11/28	Abstract interpretation	Slides (4 pages) Reading 1 (background: sections 1--2); Reading 2 (summary); Reading 3 (going deep); Q&A (in-class activity)	Abstract interpretation (due 12/05 and 12/12)
12/05	Formal methods	Slides (4 pages)	In-class exercise (due 12/11 on Canvas; Set-up instructions)