Program - ICST 2025

Detailed Table Column Timeline Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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 31 Mar
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 09:10	OpeningA-MOST at Room A

09:00 10m Day opening		Opening A-MOST

09:10 - 10:30	KeynoteA-MOST at Room A

09:10 80m Keynote		What is the Best Model? - A Discourse on Modeling Paradigms Used in Model-based Testing A-MOST Franz Wotawa Graz University of Technology

11:00 - 12:20	Coverage and Path-Based TestingA-MOST at Room A

11:00 30m Talk		Novel Algorithm to Solve the Constrained Path-based Testing Problem A-MOST Matej Klima Czech Technical University in Prague, Miroslav Bures Czech Technical University, Czechia, Marek Miltner Stanford University, Chad Zanocco Stanford University, Gordon Fraser University of Passau, Sebastian Schweikl University of Passau, Patric Feldmeier University of Passau
11:30 30m Talk		CPT Manager: An Open Environment for Constrained Path-based Testing A-MOST Matej Klima Czech Technical University in Prague, Miroslav Bures Czech Technical University, Czechia, Daniel Holotik Czech Technical University in Prague, Maximilian Herczeg Czech Technical University in Prague, Marek Miltner Stanford University, Chad Zanocco Stanford University
12:00 30m Talk		Towards Improving Automated Testing with GraphWalker A-MOST Yavuz Koroglu Graz University of Technology, Mutlu Beyazıt University of Antwerp and Flanders Make vzw, Onur Kilincceker University of Antwerp and Flanders Make vzw, Serge Demeyer University of Antwerp and Flanders Make vzw, Franz Wotawa Technische Universitaet Graz Media Attached

14:00 - 15:30	Model and Machine LearningA-MOST at Room A

14:00 30m Talk		Automata Learning for React Web Applications A-MOST Peter Grubelnik Technische Universitaet Graz, Franz Wotawa Technische Universitaet Graz
14:30 30m Talk		Mutating Skeletons - Learning Timed Automata via Domain Knowledge A-MOST Felix Wallner Graz University of Technology, Institute of Software Technology, Bernhard Aichernig Graz University of Technology, Florian Lorber Silicon Austria Labs, Martin Tappler TU Wien, Austria
15:00 30m Talk		SelfBehave, Generating a Synthetic Behaviour-Driven Development Dataset Using SELF-INSTRUCT A-MOST Manon Galloy NADI, University of Namur, Martin Balfroid NADI, University of Namur, Benoît Vanderose University of Namur, Xavier Devroey University of Namur Pre-print

16:00 - 17:30	AI and TestingA-MOST at Room A

16:00 30m Talk		Model-based Testing Computer Games: Does It Work? A-MOST Wishnu Prasetya Utrecht University Pre-print
16:30 60m Panel		Discussion on AI and Testing A-MOST

A-MOST 2025 Program

Mon 31 Mar
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Workshops

A-MOST 2025 Program

Switch Program View

Program Display Configuration

Mon 31 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Mon 31 Mar
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change