Berlin -

Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands

co-located with ECOOP and ISSTA 2018

VenueMövenpick Hotel Amsterdam City Centre

Room nameBerlin

Floor0

Room InformationNo extra information available

Program

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

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

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

11:00 - 12:30	Morning SessionISAGT at Berlin Chair(s): Chris Laffra Uber Technologies

11:00 5m Day opening		Welcome ISAGT Chris Laffra Uber Technologies
11:05 25m Talk		Automatic Python test generation ISAGT Chris Laffra Uber Technologies
11:30 30m Talk		Extracting tests from runtime behavior for R ISAGT Filip Křikava Czech Technical University
12:00 30m Talk		Computer-aided unit-test generation with UTA ISAGT Leonid Borodaev

14:00 - 15:30	After Lunch SessionISAGT at Berlin Chair(s): Chris Laffra Uber Technologies

14:00 45m Talk		Checking Non-Deterministic Behavior in Unit Tests ISAGT Luc Bläser Hochschule für Technik Rapperswil
14:45 45m Talk		Generating tests for mobile platforms ISAGT Li Li Monash University, Australia, Jacques Klein University of Luxembourg, SnT, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg

16:00 - 17:30	After Tea SessionISAGT at Berlin Chair(s): Chris Laffra Uber Technologies

16:00 30m Talk		Analyzing the analyzers ISAGT Julia Rubin University of British Columbia
16:30 30m Talk		Machine learning for compilers ISAGT Chris Cummins University of Edinburgh
17:00 25m Meeting		Plenary Discussion ISAGT Chris Laffra Uber Technologies
17:25 5m Day closing		Closing ISAGT Chris Laffra Uber Technologies

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Berlin	ISAGT Morning Session																																				ISAGT After Lunch Session																								ISAGT After Tea Session

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


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Berlin	ISAGT Welcome 11:00 - 11:05	ISAGT Automatic Python test generation 11:05 - 11:30					ISAGT Extracting tests from runtime behavior for R 11:30 - 12:00						ISAGT Computer-aided unit-test generation with UTA 12:00 - 12:30																								ISAGT Checking Non-Deterministic Behavior in Unit Tests 14:00 - 14:45									ISAGT Generating tests for mobile platforms 14:45 - 15:30															ISAGT Analyzing the analyzers 16:00 - 16:30						ISAGT Machine learning for compilers 16:30 - 17:00						ISAGT Plenary Discussion 17:00 - 17:25					ISAGT Closing 17:25 - 17:30

Room information: Berlin

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

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

ISAGT

ISAGT

ISAGT

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

Tracks

Co-hosted Conferences

Workshops

Room information: Berlin

Program Display Configuration

Fri 20 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ISAGT

ISAGT

ISAGT

Fri 20 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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