| Number | Lastmod | Title | Links |
| T1 | 4/1/2013 | Tools Overview | (HTML) |
| T2 | 4/1/2013 | Editing, Compiling, Running, and Testing Java Programs | (HTML) |
| T3 | 4/1/2013 | Version Control (SVN) Reference | (HTML) |
| T4 | 4/1/2013 | Eclipse Reference for CSE 331 | (HTML) |
| T5 | 4/1/2013 | Working at home | (HTML) |
| T6 | 4/1/2013 | Assignment Submission | (HTML) |
| T7 | 4/1/2013 | Daikon invariant detector | (HTML) |
| T8 | 4/29/2013 | Checker Framework for pluggable type-checking | (HTML) |