Write a Blog >>
ICST 2020
Sat 24 - Wed 28 October 2020 Porto, Portugal
VenueAlfândega Porto Congress Centre
Room namePorto
Floor0
Additional informationThere is no additional information of this room 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 [email protected] for the details.

09:00 - 09:10
Day opening
Opening
A-MOST
09:10 - 10:30
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 [email protected] for the details.

11:00 - 11:30
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 - 12:00
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 - 12:30
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 [email protected] for the details.

14:00 - 14:30
Full-paper
Using tabular notation to support Model Based Testing
A-MOST
Rachid KherraziAkka Technologies
Link to publication DOI
14:30 - 15:00
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 - 15:30
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 [email protected] for the details.

16:00 - 16:30
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 - 17:00
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 - 17:30
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