ICST 2020 (series) / A-MOST 2020 (series) /
A-MOST 2020 Program
This is the A-MOST 2020 program - see the full program for ICST 2020 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sat 24 OctDisplayed time zone: Lisbon change
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 10mDay opening | Opening A-MOST | ||
09:10 80mTalk | Keynote: Why models? A-MOST | ||
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 30mFull-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 30mFull-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 30mFull-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 30mFull-paper | Using tabular notation to support Model Based Testing A-MOST Rachid Kherrazi Akka Technologies Link to publication DOI | ||
14:30 30mFull-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 30mFull-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 30mFull-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 30mFull-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 30mDay closing | Closing A-MOST | ||