A-MOST 2020
Sat 24 Oct 2020 Porto, Portugal
co-located with ICST 2020
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

Sun 25 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

Room10:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:00300:0030
Alfândega

Mon 26 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

Room2:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:00300:0030
Alfândega
Palácio da Bolsa

Tue 27 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

Room2:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:00300:0030
Palácio da Bolsa

Wed 28 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

No events planned for this day yet.

iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)