Program - A-MOST 2020

Shahid MahmoodCoventry University , Alexy FouilladeEcole superieure d’electronique de l’Ouest, Hoang Nga NguyenCoventry University , Siraj Ahmed ShaikhCoventry University, Coventry, UK

12:00 - 12:30
Full-paper

Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software

Franz WotawaTechnische Universitaet Graz, Josip BozicGraz University of Technology, Yihao LiInstitute of Technology, Graz University of Technology

12:30 - 14:00: Catering - Lunch

14:00 - 15:30: A-MOST - Session III at Porto

14:00 - 14:30
Full-paper

Using tabular notation to support Model Based Testing

Rachid KherraziAkka Technologies

14:30 - 15:00
Full-paper

Model-Based Testing for MAPE-K adaptation control loops

Paolo ArcainiNational Institute of Informatics , Raffaela MirandolaPolitecnico di Milano , Elvinia RiccobeneComputer Science Dept., University of Milan, Patrizia ScandurraDIIMM - University of Bergamo

15:00 - 15:30
Full-paper

Conformance Testing in UPPAAL: A diabolic approach

Florian LorberAalborg University, Emil Jørgensen NjorAalborg University, Nikolaj Isgård SchmidtAalborg University, Sebastian Reidar PetersenAalborg University

15:30 - 16:00: Catering - Coffee Break

16:00 - 17:30: A-MOST - Session IV at Porto

16:00 - 16:30
Full-paper

Model-Based Testing of Read Only Graph Queries

Leen LambersHasso-Plattner-Institut, Universität Potsdam , Sven SchneiderHasso-Plattner-Institut, Universität Potsdam , Marcel WeisgutHasso-Plattner-Institut, Universität Potsdam

16:30 - 17:00
Full-paper

Optimizing decision making in concolic execution using reinforcement learning

Ciprian PaduraruUniversity of Bucharest , Alin StefanescuUniversity of Bucharest , Miruna Gabriela PaduraruUniversity of Bucharest

17:00 - 17:30
Day closing

Closing

Sun 25 Oct

10:30 - 11:00: Catering - Coffee Break

12:30 - 14:00: Catering - Lunch

12:30 - 14:00
Lunch

Lunch

15:30 - 16:00: Catering - Coffee Break

18:00 - 19:30: Catering - Reception at Alfândega

18:00 - 19:30
Social Event

Reception

Mon 26 Oct

10:30 - 11:00: Catering - Coffee Break

12:30 - 14:00: Catering - Lunch

15:30 - 16:00: Catering - Coffee Break

19:00 - 22:00: Catering - Banquet at Palácio da Bolsa

19:00 - 22:00
Social Event

Banquet

Tue 27 Oct

10:30 - 11:00: Catering - Coffee Break

12:30 - 14:00: Catering - Lunch

15:30 - 16:00: Catering - Coffee Break

Wed 28 Oct

10:30 - 11:00: Catering - Coffee Break

12:30 - 14:00: Catering - Lunch

15:30 - 16:00: Catering - Coffee Break

This program is tentative and subject to change.

Sat 24 Oct 2020


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Porto	A-MOST Session I 09:00 - 10:30																								A-MOST Session II 11:00 - 12:30																																				A-MOST Session III 14:00 - 15:30																								A-MOST Session IV 16:00 - 17:30

Sun 25 Oct 2020


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30
Alfândega																																																																	ICST Catering Reception 18:00 - 19:30

Mon 26 Oct 2020


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30
Palácio da Bolsa																																																																	ICST Catering Banquet 19:00 - 22:00

Tue 27 Oct 2020

No events planned for this day yet.

Wed 28 Oct 2020

No events planned for this day yet.

This program is tentative and subject to change.

Sat 24 Oct 2020


Room	9:00			15			30			45			10:00			15			30			45			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
Porto	A-MOST Opening 09:00 - 09:10		A-MOST Keynote: Why models? 09:10 - 10:30																						A-MOST A Tool for the Automatic Generation of Test Cases and Oracles for Simul ... 11:00 - 11:30						A-MOST A Model-Based Security Testing Approach for Automotive Over-The-Air Updates 11:30 - 12:00						A-MOST Ontology-based Testing: An Emerging Paradigm for Modeling and Testing S ... 12:00 - 12:30																								A-MOST Using tabular notation to support Model Based Testing 14:00 - 14:30						A-MOST Model-Based Testing for MAPE-K adaptation control loops 14:30 - 15:00						A-MOST Conformance Testing in UPPAAL: A diabolic approach 15:00 - 15:30												A-MOST Model-Based Testing of Read Only Graph Queries 16:00 - 16:30						A-MOST Optimizing decision making in concolic execution using reinforcement le ... 16:30 - 17:00						A-MOST Closing 17:00 - 17:30

Sun 25 Oct 2020


Room	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			18:00			15			30			45			19:00			15			30			45
Alfândega																																																																	ICST Catering Reception 18:00 - 19:30

Mon 26 Oct 2020


Room	19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45
Palácio da Bolsa	ICST Catering Banquet 19:00 - 22:00

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format

A-MOST 2020 Program

This program is tentative and subject to change.

Sat 24 Oct

Sun 25 Oct

Mon 26 Oct

Tue 27 Oct

Wed 28 Oct

This program is tentative and subject to change.

Sat 24 Oct 2020

A-MOST

A-MOST

A-MOST

A-MOST

Sun 25 Oct 2020

ICST Catering

Mon 26 Oct 2020

ICST Catering

Tue 27 Oct 2020

Wed 28 Oct 2020

This program is tentative and subject to change.

Sat 24 Oct 2020

Sun 25 Oct 2020

Mon 26 Oct 2020

Tracks