Week1 : Course Overview (Sept4) |
|
Intro to Testing and Verification
Week2 : Course Overview (Sept11) |
|
Assignment
Assignment-related paper: Simple testing
Assignment-related paper: FindBugs
Slides on static analysis and simple testing
Slides on DBChecker
Week5 : Project Proposal due on Monday midnight (2-page ACM conference format) (Oct2) |
|
Project proposal presentation (10 minutes + 10 minutes discussion) |
|
Week9 : Project update (Oct30) |
|
Project update presentation (10 min presentation + 10 min questions) |
|
Week12 : In-class exam (Nov20) |
|
Week13 : Project presentation (Nov27) |
|