IWCT 2020
Sat 24 Oct 2020
Porto, Portugal
co-located with
ICST 2020
Toggle navigation
Attending
Venue: Alfândega Porto Congress Centre
ICST 2020
Registration
Getting to Porto
Travel Discounts
Accommodation
Student Volunteers
Equity, Diversity and Inclusion Plan
Code of Conduct
Health Information
ICST has been postponed!
ICST 2020 Going Hybrid
Program
Complete Program
Your Program
Sat 24 Oct
Track/Call
Organization
IWCT 2020 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
IWCT 2025
IWCT 2024
IWCT 2023
IWCT 2022
IWCT 2021
IWCT 2020
Sign in
Sign up
ICST 2020
(
series
) /
IWCT 2020 (
series
) /
Alfândega Porto Congress Centre
/
Room information: Porto
Venue
Alfândega Porto Congress Centre
Room name
Porto
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+01:00) Lisbon
.
Use conference time zone: (GMT+01:00) Lisbon
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
Sat 24 Oct
Displayed time zone:
Lisbon
change
09:00 - 10:30
Session I
A-MOST
at
Porto
Chair(s):
Bernhard Aichernig
Graz University of Technology
A-MOST2020 is held as a virtual workshop via Zoom. Contact
amost2020@easychair.org
for the details.
09:00
10m
Day opening
Opening
A-MOST
09:10
80m
Talk
Keynote: Why models?
A-MOST
I:
Ana Paiva
Faculty of Engineering of the University of Porto
11:00 - 12:30
Session II
A-MOST
at
Porto
Chair(s):
Angelo Gargantini
University of Bergamo
A-MOST2020 is held as a virtual workshop via Zoom. Contact
amost2020@easychair.org
for the details.
11:00
30m
Full-paper
A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements
A-MOST
Aitor Arrieta
Mondragon Goi Eskola Politeknikoa
,
Joseba Andoni Agirre
Universidad Mondragon
,
Goiuria Sagardui
University of Mondragon
Link to publication
DOI
11:30
30m
Full-paper
A Model-Based Security Testing Approach for Automotive Over-The-Air Updates
A-MOST
Shahid Mahmood
Coventry University
,
Alexy Fouillade
Ecole superieure d’electronique de l’Ouest
,
Hoang Nga Nguyen
Coventry University
,
Siraj Ahmed Shaikh
Coventry University, Coventry, UK
Link to publication
DOI
12:00
30m
Full-paper
Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software
A-MOST
Franz Wotawa
Technische Universitaet Graz
,
Josip Bozic
Graz University of Technology (Alumnus)
,
Yihao Li
Institute of Technology, Graz University of Technology
Link to publication
DOI
14:00 - 15:30
Session III
A-MOST
at
Porto
Chair(s):
Raluca Lefticaru
University of Bradford
A-MOST2020 is held as a virtual workshop via Zoom. Contact
amost2020@easychair.org
for the details.
14:00
30m
Full-paper
Using tabular notation to support Model Based Testing
A-MOST
Rachid Kherrazi
Akka Technologies
Link to publication
DOI
14:30
30m
Full-paper
Model-Based Testing for MAPE-K adaptation control loops
A-MOST
Paolo Arcaini
National Institute of Informatics
,
Raffaela Mirandola
Politecnico di Milano
,
Elvinia Riccobene
Computer Science Dept., University of Milan
,
Patrizia Scandurra
University of Bergamo, Italy
Link to publication
DOI
15:00
30m
Full-paper
Conformance Testing in UPPAAL: A diabolic approach
A-MOST
Florian Lorber
Aalborg University
,
Emil Jørgensen Njor
Aalborg University
,
Nikolaj Isgård Schmidt
Aalborg University
,
Sebastian Reidar Petersen
Aalborg University
Link to publication
DOI
16:00 - 17:30
Session IV
A-MOST
at
Porto
Chair(s):
Florian Lorber
Aalborg University
A-MOST2020 is held as a virtual workshop via Zoom. Contact
amost2020@easychair.org
for the details.
16:00
30m
Full-paper
Model-Based Testing of Read Only Graph Queries
A-MOST
Leen Lambers
Hasso-Plattner-Institut, Universität Potsdam
,
Sven Schneider
Hasso-Plattner-Institut, Universität Potsdam
,
Marcel Weisgut
Hasso-Plattner-Institut, Universität Potsdam
Link to publication
DOI
16:30
30m
Full-paper
Optimizing decision making in concolic execution using reinforcement learning
A-MOST
Ciprian Paduraru
University of Bucharest
,
Alin Stefanescu
University of Bucharest
,
Miruna Gabriela Paduraru
University of Bucharest
Link to publication
DOI
17:00
30m
Day closing
Closing
A-MOST
Sat 24 Oct
Displayed time zone:
Lisbon
change
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
A-MOST
Session II
A-MOST
Session III
A-MOST
Session IV
Sat 24 Oct
Displayed time zone:
Lisbon
change
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
x
Fri 8 Nov 22:49