| Assignment | Date Assigned | Due Date | Relative Weight |
|---|---|---|---|
| Assignment 1: Git and GitHub Basics | Monday, September 10 | Monday, September 17 at 11:59 PM | 1.0 |
| Send List of Known Languages (details on Canvas) | Monday, September 17 | Friday, September 21 at 11:59 PM | 0.1 |
| Assignment 2: Estimating Testing Effectiveness | Wednesday, October 9 | Friday, October 19 at 11:59 PM | 1.5 |
| Assignment 3: Automated Test Input Generation | Monday, October 22 | Due Wednesday, October 31 at 11:59 PM | 1.5 |
| Assignment 4: Property-Based Testing | Wednesday, November 7 | Due Wednesday, November 21 at 11:59 PM | 1.0 |
| Assignment 5: Verification with Dafny | Monday, November 26 | Due Sunday, December 16 at 11:59 PM | 1.25 |