| Week | Topic | Due | |
|---|---|---|---|
| Week 1 | Introduction to Program Analysis | ||
| Week 2 | Program Representations | Q#1 | |
| Week 3 | Testing Principles | Q#2 | |
| Week 4 | Automated Testing | HW#1: Automated test generation | |
| Week 5 | Symbolic Execution | Q#3 | |
| Week 6 | Fault isolation | Q#4 | |
| Week 7 | Mining | HW#2: Symbolic Exec. | |
| Week 8 | Static Analysis | Q#5 | |
| Week 9 | Static Analysis | HW#3: Fault Isolation | |
| Week 10 | Model Checking | Q#6 | |
| Week 11 | Domain Specific Analyses | HW#4: Static Analysis | |
| Week 12 | Taking Stock/Slack | Project Proposal | |
| Week 13 | Project | ||
| Week 14 | Project | ||
| Week 15 | Project Presentations |