Date	Topic	Materials	Readings/Assignments
01/06	Introduction	Slides (4 pages)	HW 1: development challenges (due 01/11)
01/08	Dynamic vs. static analysis	Slides (4 pages)	Static and dynamic analysis: synergy and duality Lessons from Building Static Analysis Tools at Google Project proposal (Due 01/18)
01/13	Abstract Interpretation	Slides (4 pages), Notes	Abstract Interpretation: a semantics-based tool for program analysis (Sections 1 and 2) Reading questions
01/15	Abstract Interpretation	Slides (4 pages), Notes	Abstract Interpretation (short summary) Abstract Interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoint (going deep) Reading questions HW 2: abstract interpretation (part 1 due 01/20)
01/20	Abstract Interpretation	Tutorial	HW 2: abstract interpretation (part 2 due 01/29)
01/22	Testing	Slides (4 pages)	DART: Directed Automated Random Testing Reading questions
01/27	Testing	Slides (4 pages)	Feedback-directed Random Test Generation EvoSuite: Automatic Test Suite Generation for Object-Oriented Software Reading questions
01/29	Testing	Slides (4 pages)	Revisiting the Relationship Between Fault Detection, Test Adequacy Criteria, and Test Set Size Reading questions
02/03	Delta Debugging	Slides (4 pages), Code	Simplifying and Isolating Failure-Inducing Input Reading questions
02/05	Delta Debugging		In-class Exercise
02/10	Invariants	Slides (4 pages)	Dynamically discovering likely program invariants to support program evolution (skim sections 5-8; read the rest more carefully) Reading questions
02/12	Invariants	Slides (4 pages)	On testing non-testable programs Metamorphic Testing: A Review of Challenges and Opportunities (read sections 1-4 more carefully; skim the rest) Reading questions
02/17	Program Repair	Slides (4 pages)	A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each Reading questions
02/19	Program Repair	Slides (4 pages)	An Analysis of Patch Plausibility and Correctness for Generate-and-Validate Patch Generation Systems Reading questions
02/24	Empirical Research	Slides (4 pages)	Is computer science science? Should computer scientists experiment more? Reading questions
02/26	Empirical Research	Slides (4 pages)	Practical Guide for Using Statistical Tests to Assess Randomized Algorithms in Software Engineering Reading questions
03/03	ML for SE		Suggesting accurate method and class names Reading questions
03/05	ML for SE	Examples	Code2vec: Learning distributed representations of code Reading questions
03/10	Wrap up
03/12	Final presentations