Back to the CSci 780 Homepage.
| Class | Day | Date | Topic | Presenter | Homework, Milestones |
|---|---|---|---|---|---|
| 1 | Thu | Aug 31 | Course overview, paper assignments | Coppit | |
| 2 | Tue | Sep 5 | Shaw, "Writing Good Software Engineering Research Papers," Levin and Redell, "An Evaluation of the Ninth SOSP Submissions or How (and How Not) to Write a Good Systems Paper" | Coppit | Homework 1 Due |
| 3 | Thu | Sep 7 | Brooks, "No Silver Bullet" | Kimberly | |
| 4 | Tue | Sep 12 | Leveson, "Medical Devices: The Therac-25" | Jackie | Homework 2 Due |
| 5 | Thu | Sep 14 | Patriot Missile and Mars Program Independent Assessment Team, "Summary Report" | Adam | |
| 6 | Tue | Sep 19 | G.J. Holzmann, Design and Validation of Computer Protocols, Chapter 1 | Liz | Homework 3 Due |
| 7 | Thu | Sep 21 | Discuss project ideas | ||
| 8 | Tue | Sep 26 | Sullivan et. al, "Information Hiding Interfaces for Aspect-Oriented Design" | Adam | |
| 9 | Thu | Sep 28 | Robillard and Murphy, "Automatically Inferring Concern Code from Program Investigation Activities" | Jackie | Homework 4 (Proposal) Due |
| 10 | Tue | Oct 3 | Discuss proposals | ||
| 11 | Thu | Oct 5 | Rajan and Sullivan, "Classpects: Unifying Aspect- and Object-Oriented Language Design" | Adam | |
| 12 | Tue | Oct 10 | Class Cancelled | ||
| Thu | Oct 12 | Class Moved to 10/24 | |||
| 13 | Tue | Oct 17 | Fall Break | ||
| 14 | Thu | Oct 19 | Taghdiri, "Inferring Specifications to Detect Errors in Code" | Kimberly | |
| 15 | Tue | Oct 24 | Chu-Carroll, et. al, "Visual Separation of Concerns through Multidimensional Program Storage" Nuseibeh, et. al, "A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification" |
Liz | |
| 16 | Thu | Oct 26 | Ko et. al, "Eliciting Design Requirements for Maintenance-Oriented IDEs: A Detailed Study of Corrective and Perfective Maintenance Tasks" | Kimberly | |
| 17 | Tue | Oct 31 | Boyapati, et. al, "Korat: Automated Testing Based on Java Predicates" | Adam | Homework 5 (Progress Report) Due |
| 18 | Thu | Nov 2 | Robillard, et. al, "How Effective Developers Investigate Source Code: An Exploratory Study" | Jackie | |
| 19 | Tue | Nov 7 | Zeller and Hildebrandt, "Simplifying and Isolating Failure-Inducing Input" | Kimberly | |
| 20 | Thu | Nov 9 | Kim, et. al, "An Empirical Study of Code Clone Genealogies" | Liz | |
| 21 | Tue | Nov 14 | Marinov, et. al, "An Evaluation of Exhaustive Testing for Data Structures" | Jackie | |
| 22 | Thu | Nov 16 | Coppit, et. al, "Software Assurance by Bounded Exhaustive Testing" | Jackie | |
| 23 | Tue | Nov 21 | Mankefors-Christiernin and Boklund, "Multiple Profile Evaluation Using a Single Test Suite in Random Testing" | Liz | |
| Thu | Nov 23 | Thanksgiving Break | |||
| 24 | Tue | Nov 28 | DeMillo and Offutt, "Constraint-Based Automatic Test Data Generation" | Kimberly | |
| 25 | Thu | Nov 30 | Godefroid et. al, "DART: Directed Automated Random Testing" | Adam | Paper submission due |
| 26 | Tue | Dec 5 | Program committee meeting | ||
| 27 | Thu | Dec 7 | Cadar, et. al, "EXE: Automatically Generating Inputs of Death" | Coppit | Final paper due |
| Mon | Dec 11 | The Third CSci 780 Symposium 8:30 to 11:30 |
Back to the CSci 780 Homepage.
Last changed October 24 2006 08:37:27.
David Coppit,
coppit@cs.wm.edu
There have been 1323657 hits since Thu Jun 9 14:49:55 2005
