ICST 2023 (series) / A-MOST 2023 (series) /
A-MOST 2023 Program
This is the A-MOST 2023 program - see the full program for ICST 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Thu 20 AprDisplayed time zone: Dublin change
Thu 20 Apr
Displayed time zone: Dublin change
09:00 - 10:30 | |||
09:00 15mDay opening | Welcome and Opening Message A-MOST 23 A-MOST Florian Lorber Aalborg University, Cristina Seceleanu Mälardalen University, Uraz Cengiz Türker Lancaster University (UK) | ||
09:15 75mKeynote | Keynote: Principles of Model-Based Testing A-MOST Jan Tretmans Radboud University Nijmegen, TNO-ESI | ||
11:00 - 12:30 | |||
11:00 30mTalk | An Experiment in Requirements Engineering and Testing using EARS Notation for PLC Systems A-MOST Mikael Ebrahimi Salari Mälardalen University, Eduard Paul Enoiu Mälardalen University, Wasif Afzal Mälardalen University, Cristina Seceleanu Mälardalen University | ||
11:30 30mTalk | Model-Based Policy Synthesis and Test-Case Generation for Autonomous Systems A-MOST | ||
12:00 30mTalk | We Tried and Failed: An Experience Report on a Collaborative Workflow for GUI-based Testing A-MOST Andreas Bauer Blekinge Institute of Technology, SERL Sweden, Emil Alégroth Blekinge Institute of Technology | ||
14:00 - 15:30 | |||
14:00 30mTalk | From BDD Scenarios to Test Case Generation A-MOST Tannaz Zameni University of Twente, Petra van den Bos University of Twente, The Netherlands, Jan Tretmans Radboud University Nijmegen, TNO-ESI, Johan Foederer Topic Embedded Systems, Arend Rensink University of Twente, The Netherlands | ||
14:30 30mTalk | ADAS Verification in Co-Simulation: Towards a Meta-Model for Defining Test Scenarios A-MOST Francesco Basciani University of L'Aquila, Vittorio Cortellessa University of L'Aquila, Sergio Di Martino Università degli Studi di Napoli Federico II, Dario Di Nucci University of Salerno, Daniele Di Pompeo University of L'Aquila, Carmine Gravino University of Salerno, Luigi Libero Lucio Starace Università degli Studi di Napoli Federico II | ||
15:00 30mPanel | Discussion: "Testing Autonomous Systems: Some Immediate Questions" A-MOST | ||
16:00 - 17:30 | |||
16:00 30mTalk | Improving Model Learning by Inferring Separating Sequences from Traces A-MOST Rafael Braz ICMC/USP, Adenilso Simão University of São Paulo, Roland Groz LIG/UGA, Catherine Oriat LIG/UGA | ||
16:30 30mTalk | MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL A-MOST Jaime Cuartas Universidad del Valle, Jesus Aranda Universidad del Valle, Maxime Cordy University of Luxembourg, Luxembourg, James Ortiz Université de Namur, Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of Namur, Pierre Yves Schobbens University of Namur | ||
17:00 15mDay closing | Closing A-MOST 23 and Welcoming A-MOST 24! A-MOST Florian Lorber Aalborg University, Cristina Seceleanu Mälardalen University, Uraz Cengiz Türker Lancaster University (UK) | ||