Show color key
| January | ||||
| Monday | Tuesday | Wednesday | Thursday | Friday |
| 02 | 03
10:30-11:50 Lecture
CSE 203 L1: introduction; static & dynamic analysis Read: (optional: P&Y Ch1), P&Y Ch2, successful student tips |
04 | 05
10:29 HW1: Reflection on development due via Canvas
Submissions
10:30-11:50 Lecture
CSE 203 L2: Static analysis teaser, testing Read: Synergy & duality, §1,3,4 and slides 4-13; CSE331 testing slides & handout |
06 |
| 09 | 10
10:30-11:50 Lecture
CSE 203 L3: Random testing (board photos: 1, 2, 3) Read: Feedback-directed random test generation
23:59 HW2: Test coverage due via Canvas
|
11
23:59 HW3: Project proposal due via Canvas
Submissions, presentation feedback. |
12
10:30-11:50 Lecture
CSE 203 L4: Type systems, project proposal presentations Read: How to give a technical presentation |
13
16:59 Project preferences due via email
|
| 16
Martin Luther King Day
|
17 | 18
23:59 HW4: Test generation due via Canvas
|
19
10:30-11:50 Lecture
CSE 203 L6: Dynamic invariant detection (board photos: 1, 2, 3) Read: Dynamic invariant detection (skim sections 5-8, read the rest carefully) |
20
16:59 HW5: Revised project proposal due via Canvas
|
| 23 | 24
10:30-11:50 Lecture
CSE 203 No lecture: Work on your project (Mike is out of town) |
25 | 26 | 27
23:59 HW6: Re-revised project proposal due via Canvas
|
| 30 | 31
10:30-11:50 Lecture
CSE 203 L8: Delta Debugging (board photos: 1, 2, 3) Read: Yesterday, my program worked (access from on campus or use proxy bookmarklet |
01
23:59 HW7: Project presentation due via Canvas
|
02
10:30-11:50 Lecture
CSE 203 Project presentations |
03
16:59 HW8: Abstract interpretation practice due via Canvas
|
| February | ||||
| Monday | Tuesday | Wednesday | Thursday | Friday |
| 06 | 07
10:30-11:50 Lecture
CSE 203 No class: work on your project |
08 | 09
10:30-11:50 Lecture
CSE 203 L9: Model checking intro (board photos: 1, 2, 3) Read: How to write a technical paper |
10
16:59 HW9: Initial project results due via Canvas
|
| 13 | 14
10:30-11:50 Lecture
CSE 203 L10: Explicit-state model checking (board photos: 1, 2, 3) Read: The Model Checker SPIN, by Gerard J. Holzmann, in IEEE TSE 23(5), 1997. |
15 | 16 | 17 |
| 20
Presidents Day
|
21
10:30-11:50 Lecture
CSE 203 In-class activity No reading |
22
23:59 HW10: Project presentation due via Canvas
|
23
10:30-11:50 Lecture
CSE 203 Project presentations |
24 |
| 27 | 28
10:30-11:50 Lecture
CSE 203 No class: work on your project
23:59 HW11: Draft final report due via Canvas
|
01 | 02
10:30-11:50 Lecture
CSE 203 L12: Natural language processing Read: Tellina (skip section 3), optionally read NL=PL (short, easy read) |
03 |
| March | ||||
| Monday | Tuesday | Wednesday | Thursday | Friday |
| 06 | 07
23:59 HW11a: Repository review
|
08
23:59 HW12: Reflection due via Canvas
|
09
10:30-11:50 Lecture
CSE 203 TBD |
10
14:30 HW13: Final report due via Canvas
|
| 13
10:30-12:20 Final project presentations
Room CSE 503
23:59 HW14: Final presentation slides due via Canvas
|
14 | 15 | 16 | 17 |
Hide color key
