TAV-CPS/IoT 2018
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

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
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

Room11:003012:003013:003014:003015:003016:003017:0030
Berlin

Fri 20 Jul

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