Slide decks for lectures that haven't happened yet may be from previous semesters, so they contain different content. Please do not rely on them.

Date	Topic and Notes	Assignments	Reading For This Class
T 01/06/26	What is Software Engineering? [overview]	All homeworks (almost :)) are posted. Start early! HW0 Specification. HW0 is optional, but students have reported in previous semesters that they have to create a Virtual Machine anyway for HW1 through HW5. HW0 walks you through it. HW0 also contains a video tutorial on terminals/bash. HW1 Specification. HW6 Specification is worth reading early (trust me, you will regret if you don't read it early).	(none; first day of class)
TR 01/08/26	SDLC and HW1 [overview]		Wikipedia's Software Development Process Buse and Zimmermann's Information Needs for Software Development Analytics (if you are low on time, read only Sections I-V) [Microsoft] HW1 Specification Optional: "How well do real companies plan and estimate effort?" Find out in: Anda et al.'s Variability and Reproducibility in Software Engineering: A Study of Four Companies that Developed the Same System [Simula]
01/11/26	(None; this is a Sunday)	HW0 due
T 01/13/26	Measurement [overview]		Begel and Zimmermann's Analyze This! 145 Questions for Data Scientists in Software Engineering [Microsoft] Optional: "How does measurement bias relate to software?" Find out in: Mytkowicz et al.'s Producing Wrong Data Without Doing Anything Obviously Wrong!" [IBM] Optional: Don't want to read the Mytkowicz paper? Watch the video instead!
TR 01/15/26	Quality Assurance and Testing [qa]		Sections 2.0 to 2.5 of Henderson's Software Engineering at Google [Google] Wikipedia's Quality Assurance Wikipedia's Software Testing Optional: "How does Google test each change to all of its software?" Find out in: Memon et al.'s Taming Google-Scale Continuous Testing [Google]
01/18/26	(None; this is a Sunday)	HW1a due
T 01/20/26	Test Suite Quality Metrics [qa]		Wikipedia's Code Coverage Wikipedia's Mutation Testing Optional: "How did mutation testing improve code review feedback by over 60% for over 10,000 code authors at Google?" Find out in: Petrovic and Ivankovic's State of Mutation Testing at Google [Google] Optional: "Do coverage metrics really help with critical projects?" Find out in: Dupuy and Leveson's An Empirical Evaluation of the MC/DC Coverage Criterion on the HETE-2 Satellite Software [Alcatel]
TR 01/22/26	Test Inputs, Oracles and Generation [qa]		Wikipedia's Test Oracles Wikipedia's NP-completeness Wikipedia's Karp's 21 NPC problems Read up to, but not including, "Program Specific Checkers" in Zeller's Fuzzing: Breaking Things with Random Inputs Tillmann and de Halleux's Pex — White Box Test Generation for .NET [Microsoft] Optional: "What's the state of the art in test oracles?" Find out in: Barr et al.'s The Oracle Problem in Software Testing: A Survey Optional: "Can fuzz testing find security bugs?" Find out in: Godefroid et al.'s Automated Whitebox Fuzz Testing [Microsoft]
01/25/26	(None; this is a Sunday)	HW1bcd due
T 01/27/26	Unit Testing-jUnit [qa]		Demo code: Calculator.java Demo code: CalculatorTest.java
TR 01/29/26	Code Inspection, Review, and HW2 [qa]		Wikipedia's Code Review Bacchelli and Bird's Expectations, outcomes, and challenges of modern code review [Microsoft] HW2 Specification Optional: "How does gender relate to GitHub pull requests?" Find out in: Terrell et al.'s Gender differences and bias in open source: pull request acceptance of women versus men Optional: "Where do invariants come from?" Find out in: Ernst et al.'s The Daikon system for dynamic detection of likely invariants
T 02/03/26	Dynamic Analysis Tools [qa]		Wikipedia's Dynamic Program Analysis Musuvathi et al.'s Finding and Reproducing Heisenbugs in Concurrent Programs [Microsoft] Optional: "How can we detect locking bugs?" Find out in: Savage et al.'s Eraser: A Dynamic Data Race Detector for Multithreaded Programs [Digital]
TR 02/5/26	Static & Dataflow Analysis (1/3) [qa]		Wikipedia's Static Program Analysis Ayewah et al.'s Experiences Using Static Analysis to Find Bugs [Google] HW3 Specification Optional: "How does Microsoft find bugs in critical device drivers?" Find out in: Ball et al.'s A Decade of Software Model Checking with SLAM [Microsoft] Optional: "What are deployment challenges for static analysis?" Find out in: Bessey et al.'s A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World [Coverity]
02/08/26	(None; this is a Sunday)	HW2 due
T 02/10/26	Static & Dataflow Analysis (2/3) [qa]		Wikipedia's Basic Block Wikipedia's Data-flow Analysis
TR 02/12/26	Static & Dataflow Analysis (3/3) [qa]
T 02/17/26	Exam 1 (Midterm) Review + HW3
TR 02/19/26	Exam 1 (Midterm)
T 02/24/26	Defect Reporting and Triage [bugs]		Wikipedia's Bug tracking system Bettenburg et al.'s What Makes a Good Bug Report? [Apache, Eclipse, Mozilla] Optional: "Are testers more neurotic than developers?" Find out in Smith et al.'s Beliefs, Practices, and Personalities of Software Engineers: A Survey in a Large Software Company [Microsoft]
TR 02/26/26	Fault Localization and Profiling [bugs]		Wikipedia's Profiling Parnin and Orso's Are Automated Debugging Techniques Actually Helping Programmers? Graham et al.'s gprof: a Call Graph Execution Profiler HW4 Specification Optional: "How can we collect per-path information?" Find out in: Ball and Larus's Efficient Path Profiling [Microsoft] Optional: "What other fault localization techniques exist?" Find out in: Wong and Debroy's A Survey of Software Fault Localization
03/01/26	(None; this is a sunday)	HW3 due
T 03/03/26	Debugging as Hypothesis Testing + HW4 [bugs]		Sections 2.7 to 2.10 of Henderson's Software Engineering at Google [Google] Andreas Zeller's Automated Debugging: Are We Close? Optional: For more information on this project, visit: Zeller's Delta Debugging: from automated testing to automated debugging Optional: For an entire on-line course on this topic, visit: Udacity's Software Debugging: Automating the Boring Tasks
TR 03/05/26	CI/CD + GitHub Review
03/08/26	(None; this is a Sunday)	HW4 due
03/10/26	Spring Break
03/12/26	Spring Break
T 03/17/26	Automatic Program Repair + HW5		Marginean et al.'s SapFix: Automated End-to-End Repair at Scale [Facebook] Monperrus et al.'s Repairnator patches programs automatically Optional: "Can smaller companies use automated repair?" Find out in: Haraldsson et al.'s Fixing Bugs in Your Sleep: How Genetic Improvement Became an Overnight Success [Janus] Optional: "How does mutation relate to automated repair?" Find out in: Le Goues et al.'s A Systematic Study of Automated Program Repair: Fixing 55 out of 105 Bugs for $8 Each HW5 Specification
TR 03/19/26	Guest Lecture, TBD TBD	TBD
T 03/24/26	Requirements and Specifications + Elicitation, Validation and Risk [design]		Wikipedia's Requirements Elicitation Spolsky's How To Be A Program Manager [Stack Overflow] Zowghi and Coulin's Requirements Elicitation: A Survey of Techniques, Approaches and Tools Mead's Requirements Elicitation Case Studies Using ISIS, JAD, and ARM
TR 03/26/26	Pair Programming and Skill Interviews [coding]		Wikipedia's Pair Programming Cockburn and Williams' The Costs and Benefits of Pair Programming Dean Jackson's The Google Technical Interview [Google] Section 4.1 of Henderson's Software Engineering at Google [Google] Optional: "What did a survey of over 46,000 comments find out about modern technical interviews?" Find out in: Behroozi et al.'s Hiring is Broken: What Do Developers SayAbout Technical Interviews? [Microsoft] Optional: "What can go wrong in pair programming?" Find out in: Lewis and Shah's How Equity and Inequity Can Emerge in Pair Programming
03/29/26	(None; this is a Sunday)	HW5 due
T 03/31/25	Modeling and UI/UX [design]
TR 04/02/26	Guest Lecture - TBD
04/05/25	(None; this is a Sunday)	HW6a due
T 04/07/26	Human Factors of SE
TR 04/09/26	Research in Software Engineering
T 04/14/26	Final Exam Review
TR 04/16/26	Final Exam (Exam2).
04/19/26	(None; this is a sunday)	HW6b due — Note that there are absolutely no extensions on HW6b. The grace period and late policy do not apply. Please plan accordingly.