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]
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/16/26	(None; this is a Friday)	HW0 due
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.