ICST 2021
Mon 12 - Fri 16 April 2021
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 12 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 09:15
Welcome and Opening MessageA-MOST at Maracaípe
Chair(s): Raluca Lefticaru University of Bradford
09:00
15m
Day opening
Welcome and Opening Message
A-MOST

09:15 - 10:15
Keynote TalkA-MOST at Maracaípe
Chair(s): Raluca Lefticaru University of Bradford
09:15
60m
Keynote
Nobody cares about models, but everybody wants automation
A-MOST
Jeff Offutt George Mason University
11:15 - 11:45
A-MOST IIA-MOST at Maracaípe
Chair(s): Uraz Cengiz Türker University of Leicester, UK
11:15
30m
Paper
Process mining on a robotic mechanism
A-MOST
13:00 - 13:30
A-MOST IIIA-MOST at Maracaípe
Chair(s): Uraz Cengiz Türker University of Leicester, UK
13:00
30m
Paper
Test Sequence Generation with Cayley Graphs
A-MOST
Sylvain Hallé Université du Québec à Chicoutimi, Raphael Khoury Université du Québec à Chicoutimi, Canada
13:30 - 14:30
Keynote TalkA-MOST at Maracaípe
Chair(s): Uraz Cengiz Türker University of Leicester, UK
13:30
60m
Keynote
Model-Based Testing and Model-Learning for Variability-Intensive Systems
A-MOST
Mohammad Mousavi University of Leicester, UK
15:00 - 15:45
Invited TutorialA-MOST at Maracaípe
Chair(s): Florian Lorber Aalborg University
15:00
45m
Tutorial
UPPAAL for Test Case Generation
A-MOST
Marius Mikucionis Aalborg University
15:45 - 16:15
A-MOST IVA-MOST at Maracaípe
Chair(s): Florian Lorber Aalborg University
15:45
30m
Paper
A Model-Based Test Script Generation Framework for Embedded Software
A-MOST
Wasif Afzal Mälardalen University, Eduard Paul Enoiu Mälardalen University
16:15 - 16:30
ClosingA-MOST at Maracaípe
Chair(s): Florian Lorber Aalborg University
16:15
15m
Day closing
Closing
A-MOST