Date	Topic and Notes	Assignments	Reading For This Class
W Jan 08	What is Software Engineering? [overview]	Some homeworks are posted. Start early!	None! (First class.)
M Jan 13	Process, Risk and Scheduling [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]
W Jan 15	Measurement [overview]	HW 1a (Test Coverage) Due	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!
M Jan 20 (MLK)	—	—	—
W Jan 22	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]
M Jan 27	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]
W Jan 29	Test Inputs, Oracles and Generation [qa]	HW 1b, 1c and 1d (Test Coverage) Due	Wikipedia's Test Data Generation 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]
M Feb 03	Code Inspection and Review [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
W Feb 05	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]
M Feb 10	Medium-Scale Software Engineering Dr. Kevin Leach, Senior Research Scientist, Clinc. [guest]	HW 2 (Test Automation) Due
W Feb 12	Static & Dataflow Analysis (1/2) [qa]		Wikipedia's Static Program Analysis Ayewah et al.'s Experiences Using Static Analysis to Find Bugs [Google] 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]
M Feb 17	Static & Dataflow Analysis (2/2) [qa]		Wikipedia's Basic Block Wikipedia's Data-flow Analysis HW3 Specification
W Feb 19	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]
M Feb 24	In-Class Exam #1 [exam]	HW 3 (Mutation Testing) Due	HW4 Specification
W Feb 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 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
M Mar 02 (break)	—	—	—
W Mar 04 (break)	—	—	—
M Mar 09	Debugging as Hypothesis Testing [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
W Mar 11	Requirements and Specifications [design]	HW 4 (Defect Detection) Due	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
M Mar 16	Elicitation, Validation and Risk [design] BlueJeans recording		Abstract, Section 1 and Section 2 of Bjarnason et al.'s Challenges and practices in aligning requirements with verification and validation: a case study of six companies (first 5.5 pages only) Sinofsky's PM at Microsoft (cached copy) (original) [Microsoft] Wikipedia's Fault Tree Analysis
W Mar 18	Designing for Maintainability [design] BlueJeans recording		Malkwai's The art of software systems development: Reliability, Availability, Maintainability, Performance (RAMP)
M Mar 23	Patterns and Anti-Patterns [design] CAEN Recording from W19	HW 5 (Debugging Automation) Due	Wikipedia's Software Design Pattern HW5 Specification Optional: "How do design patterns work in industry?" Find out in: Beck et al.'s Industrial Experience with Design Patterns [AT&T, Motorola, Siemens, IBM]
W Mar 25	Code Inspection and the Brain [coding, qa] BlueJeans Recording		Floyd et al.'s Decoding the representation of code in the brain: An fMRI study of code review and expertise Siegmund et al.'s Measuring Neural Efficiency of Program Comprehension [Microsoft] Optional: "What did reddit think of this?" Find out in: Does the brain interact with programming languages like it does with natural languages?
M Mar 30	Startup-Scale Software Engineering Dr. Jack Wadden, Sequal Inc., [guest] BlueJeans recording		HW6 Specification Optional: "How do software testing techniques help hardware?" Find out in: Mahmoud et al.'s Minotaur: Adapting Software Testing Techniquesfor Hardware Errors
W Apr 01	Productivity (bring a coding laptop!) [coding] BlueJeans Recording	HW 6a (Contribution) Due (but all students get a free two-day no-penalty extension, so you can turn it in on the 3rd; however, we are unlikely to grant further extensions)	See special reading instructions
M Apr 06	Multi-Language Projects [coding] BlueJeans Recording		Wikipedia's Java Native Interface Python's Extending Python with C or C++
W Apr 08	Pair Programming and Skill Interviews [coding] BlueJeans Recording		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
M Apr 13	Automatic Program Repair [overview] BlueJeans Recording		Le Goues et al.'s A Systematic Study of Automated Program Repair: Fixing 55 out of 105 Bugs for $8 Each Jia et al.'s Finding and fixing software bugs automatically with SapFix and Sapienz [Facebook] Optional: "What happened when a real company tried this?" Find out in: Haraldsson et al.'s Fixing Bugs in Your Sleep: How Genetic Improvement Became an Overnight Success [Janus]
W Apr 15	Game Theory [qa, other] BlueJeans Recording	Exam 2 Released	Optional: How can game theory be used to find concurrency bugs in safet-critical systems? Find out in: Henzinger's Games, Time, and Probability: Graph Models for System Design and Analysis. Optional: For more information, visit Wikipedia's Nim.
R Apr 16	—	Exam 2 Due (but all students get a free two-day no-penalty extension, so you can turn exams in on the 18th; however, we will not grant further extensions)
S Apr 18	—	Last Day To Turn In Exam 2
M Apr 20	World Building and Romance Novels [overview] BlueJeans Recordign	HW 6b (Contribution) Due All Course Materials Due (but all students get a free two-day no-penalty extension, so you can turn materials in on the 22nd; however, we will not grant further extensions)