Schedule and Slides
Week of Monday | Monday class | Thursday class |
11/04 | Introduction |
Alloy - bring your laptop Introduction to Alloy |
18/04 | no class |
Alloy - bring your laptop exercise 1 |
25/04 |
no class - Holiday |
Alloy engine - bring your laptop exercise 2, Alloy engine |
02/05 | Alloy engine |
Test-case generation - bring your laptop exercise 3 |
09/05 | Test-case generation - TestEra | Test-case generation - Korat |
16/05 |
Korat - bring your laptop exercise 4 |
Korat - bring your laptop exercise 5 |
23/05 | no class | Test-case generation - AsmLT |
30/05 | Test-case generation - JCrasher | no class - Holiday |
06/06 | no class |
Randoop - bring your laptop exercise 6 |
13/06 | no class - Holidy | Test-case generation - Randoop |
20/06 | Test-case generation - Rostra, Symstra | no class - Holiday |
27/06 | Test-case generation - Symstra, Cute |
Dynamic Alloy models - bring your laptop exercise 7 |
04/07 | Bounded verification - Jalloy | no more classes |