Schedule and Slides
| Week of Monday | Monday class | Thursday class |
| 12/04 | Introduction | Alloy |
| 19/04 | no class |
Alloy interactive, bring your laptop, exercise1 |
| 26/04 |
Alloy engine, bring your laptop, exercise2 |
Alloy engine |
| 03/05 |
test-case generation, bring your laptop, exercise3 |
Test case generation - TestEra |
| 10/05 | Test case generation - Korat | Holiday - no class |
| 17/05 | Test case generation - Korat, Randoop |
Randoop experiments, bring your laptop exercise4 |
| 24/05 | Holiday - no class | Test case generation - Randoop, Cute |
| 31/05 |
Dynamic Alloy models - bring your laptop exercise5 |
Holiday - no class |
| 07/06 | Bounded verification - Jalloy | Bounded verification-Jalloy, Forge |
| 14/06 | no class | More bug finding ideas |
| 21/06 | Invariant generation -- Daikon |
Daikon experiments -- bring your laptop exercise6 |
| 28/06 | static summarization | no more classes |