Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges (InterAVT 2019 - Interactive Workshop on the Industrial Application of Verification and Testing) - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Who

Anila Mjeda, Goetz Botterweck

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

Sat 6 Apr 2019 11:10 - 11:20 at S6 - II

Anila Mjeda

Lero - The Irish Software Research Centre and University of Limerick

Ireland

Goetz Botterweck

Lero - The Irish Software Research Centre and University of Limerick

Ireland

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

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

	11:00 - 12:00	IIInterAVT at S6

	11:00 10m Talk		Advances in Usability of Formal Methods for Code Verification InterAVT Andre Maroneze , Valentin Perrelle , Florent Kirchner
	11:10 10m Talk		Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges InterAVT Anila Mjeda Lero - The Irish Software Research Centre and University of Limerick, Goetz Botterweck Lero - The Irish Software Research Centre and University of Limerick
	11:20 10m Talk		AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention InterAVT Robert Husak , Jan Kofroň Charles University, Filip Zavoral
	11:30 30m Talk		Lighting talks (non-authors) InterAVT