Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Mon 18 Jul 2016 14:50 - 15:19 at Saba - Session 2

Mon 18 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:50 - 15:20
Session 2VORTEX at Saba
13:50
30m
Extracting Runtime Monitors from Tests: An Overview and a way forward
VORTEX
14:20
30m
Runtime checks as nominal types
VORTEX
Paola Giannini , Elena Zucca University of Genova, Marco Servetto Victoria University of Wellington
14:50
29m
The Early Bird Catches the Worm: first Verify, then Monitor!
VORTEX
15:19
1m
Day closing
Closing Remarks
VORTEX
Davide Ancona University of Genova, Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University