Program - ICST 2024

Detailed Table Column Timeline Session Timeline Detailed Timeline

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 27 May
Displayed time zone: Eastern Time (US & Canada) change

	09:00 - 10:30	Session 1: shared with NEXTAA-MOST at Room 4

11:00 - 12:30	Session 2A-MOST at Room 4

11:00 30m Day 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 30m Full-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
12:00 30m Full-paper		Annotating Control-Flow Graphs for Formalized Test Coverage Criteria A-MOST Sean Kauffman Aalborg University, Carlos Moreno , Sebastian Fischmeister University of Waterloo, Canada

14:00 - 15:30	Session 3A-MOST at Room 4

14:00 30m Full-paper		Active Model Learning for Software Interrogation and Diagnosis A-MOST Adam Porter University of Maryland, alan Karr
14:30 30m Short-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 30m Full-paper		Bridging the Gap Between Models in RL: Test Models vs. Neural Networks A-MOST Martin Tappler TU Wien, Austria, Florian Lorber Silicon Austria Labs

16:00 - 17:30	Session 4A-MOST at Room 4

16:00 30m Short-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 30m Short-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 30m Full-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

A-MOST 2024 Program

This program is tentative and subject to change.

Mon 27 May
Displayed time zone: Eastern Time (US & Canada) change

Tracks

Workshops

A-MOST 2024 Program

Switch Program View

This program is tentative and subject to change.

Program Display Configuration

Mon 27 MayDisplayed time zone: Eastern Time (US & Canada) change

Get Calendar (iCal)

Mon 27 May
Displayed time zone: Eastern Time (US & Canada) change