A-MOST 2020
Sat 24 Oct 2020 Porto, Portugal
co-located with ICST 2020
VenueAlfândega Porto Congress Centre
Room namePorto
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

Sat 24 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

09:00 - 10:30
Session IA-MOST at Porto
Chair(s): Bernhard AichernigGraz 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 PaivaFaculty of Engineering of the University of Porto
11:00 - 12:30
Session IIA-MOST at Porto
Chair(s): Angelo GargantiniUniversity 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 ArrietaMondragon Goi Eskola Politeknikoa, Joseba Andoni AgirreUniversidad Mondragon , Goiuria SagarduiUniversity 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 MahmoodCoventry University , Alexy FouilladeEcole superieure d’electronique de l’Ouest, Hoang Nga NguyenCoventry University , Siraj Ahmed ShaikhCoventry 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 WotawaTechnische Universitaet Graz, Josip BozicGraz University of Technology (Alumnus), Yihao LiInstitute of Technology, Graz University of Technology
Link to publication DOI
14:00 - 15:30
Session IIIA-MOST at Porto
Chair(s): Raluca LefticaruUniversity 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 KherraziAkka Technologies
Link to publication DOI
14:30
30m
Full-paper
Model-Based Testing for MAPE-K adaptation control loops
A-MOST
Paolo ArcainiNational Institute of Informatics , Raffaela MirandolaPolitecnico di Milano , Elvinia RiccobeneComputer Science Dept., University of Milan, Patrizia ScandurraUniversity of Bergamo, Italy
Link to publication DOI
15:00
30m
Full-paper
Conformance Testing in UPPAAL: A diabolic approach
A-MOST
Florian LorberAalborg University, Emil Jørgensen NjorAalborg University, Nikolaj Isgård SchmidtAalborg University, Sebastian Reidar PetersenAalborg University
Link to publication DOI
16:00 - 17:30
Session IVA-MOST at Porto
Chair(s): Florian LorberAalborg 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 LambersHasso-Plattner-Institut, Universität Potsdam , Sven SchneiderHasso-Plattner-Institut, Universität Potsdam , Marcel WeisgutHasso-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 PaduraruUniversity of Bucharest , Alin StefanescuUniversity of Bucharest , Miruna Gabriela PaduraruUniversity of Bucharest
Link to publication DOI
17:00
30m
Day closing
Closing
A-MOST

Sat 24 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Porto