InSTA 2020
Wed 28 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

Displayed time zone: Lisbon change

09:00 - 10:30
Session IA-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 IIA-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 IIIA-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 IVA-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

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