Extracting Runtime Monitors from Tests: An Overview and a way forward (VORTEX 2016) - ECOOP 2016

Sun 17 - Fri 22 July 2016 Rome, Italy

Who

Abigail Cauchi, Luke Chircop, Christian Colombo, Adrian Francalanza, Mark Micallef, Gordon Pace

Track

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Mon 18 Jul 2016 13:50 - 14:20 at Saba - Session 2

Abigail Cauchi

Luke Chircop

Christian Colombo

Adrian Francalanza

Mark Micallef

Gordon Pace

University of Malta

Malta

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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 Abigail Cauchi , Luke Chircop , Christian Colombo , Adrian Francalanza , Mark Micallef , Gordon Pace University of Malta
	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 Angelo Ferrando
	15:19 1m Day closing		Closing Remarks VORTEX Davide Ancona University of Genova, Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University