ICST 2024 (series) / A-MOST 2024 (series) /
A-MOST 2024 Program
This is the A-MOST 2024 program - see the full program for ICST 2024 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 27 MayDisplayed time zone: Eastern Time (US & Canada) change
Mon 27 May
Displayed time zone: Eastern Time (US & Canada) change
11:00 - 12:30 | |||
11:00 30mDay opening | Welcome to 20 Years of A-MOST A-MOST Florian Lorber Silicon Austria Labs, Cristina Seceleanu Mälardalen University, Martin Tappler TU Wien, Austria | ||
11:30 30mFull-paper | Testing the Evolution of Feature Models with Specific Combinatorial Tests A-MOST Andrea Bombarda University of Bergamo, Silvia Bonfanti University of Bergamo, Angelo Gargantini University of Bergamo File Attached | ||
12:00 30mFull-paper | Annotating Control-Flow Graphs for Formalized Test Coverage Criteria A-MOST Sean Kauffman Queen's University, Canada, Carlos Moreno , Sebastian Fischmeister University of Waterloo, Canada |
14:00 - 15:30 | |||
14:00 30mFull-paper | Active Model Learning for Software Interrogation and Diagnosis A-MOST | ||
14:30 30mShort-paper | Active Model Learning of Git Version Control System A-MOST Edi Muskardin , Tamim Burgstaller , Martin Tappler TU Wien, Austria, Bernhard Aichernig Graz University of Technology | ||
15:00 30mFull-paper | Bridging the Gap Between Models in RL: Test Models vs. Neural Networks A-MOST |
16:00 - 17:30 | |||
16:00 30mShort-paper | Coverage measurement in model-based testing of web applications: Tool support and an industrial experience report A-MOST Vahid Garousi Queen's University Belfast, Alper Buğra Keleş , Yunus Balaman , Alper Mermer , Zeynep Özdemir Güler | ||
16:30 30mShort-paper | Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors A-MOST Sergio Quijano IT University of Copenhagen, Mahsa Varshosaz IT University of Copenhagen, Denmark, Andrzej Wąsowski IT University of Copenhagen, Denmark | ||
17:00 30mFull-paper | Optimizing Model-based Generated Tests: Leveraging Machine Learning for Test Reduction A-MOST Muhammad Nouman Zafar Malardalen University, Wasif Afzal Mälardalen University, Eduard Paul Enoiu Mälardalen University, Zulqarnain Haider , Inderjeet Singh Alstom |