| Assignment | Date Assigned | Due Date | Relative Weight |
|---|---|---|---|
| Assignment 1: Git and GitHub Basics | Monday, January 27 | Wednesday, February 5 at 11:59 PM | 1.0 |
| Assignment 2: Writing Unit Tests and Tests as Specifications | Wednesday, February 12 | Friday, February 21 at 11:59 PM | 1.0 |
| Assignment 3: Estimating Testing Effectiveness | Wednesday, February 19 | Friday, March 6 at 11:59 PM | 1.0 |
| Assignment 4: Automated Test Input Generation | Monday, March 9 | Friday, March 27 at 11:59 PM | 1.5 |
| Assignment 5: Property-Based Testing | Monday, March 23 | Monday, April 13 at 11:59 PM | 1.0 |
| Assignment 6: Verification with Dafny | Monday, April 27 | Thursday, May 14 at 11:59 PM | 1.0 |