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