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

Tue 1 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00	Keynote 1Mutation at Room C

09:00 60m Keynote		Mutation Testing in the Trenches Mutation Gregory Gay Chalmers University of Technology and University of Gothenburg

10:00 - 10:30	Code CrittersMutation at Room C

10:00 30m Talk		Code Critters Presentation Mutation Philipp Straubinger University of Passau

11:00 - 12:30	Technical ProgramMutation at Room C

11:00 30m Paper		Equivalent Mutants: Deductive Verification to the Rescue Mutation Serge Demeyer University of Antwerp and Flanders Make vzw, Reiner Hähnle Technical University of Darmstadt
11:30 30m Paper		Exploring Robustness of Image Recognition Models on Hardware Accelerators Mutation Nikolaos Louloudakis University of Edinburgh, Perry Gibson University of Glasgow, José Cano University of Glasgow, Ajitha Rajan University of Edinburgh
12:00 30m Paper		Semantic-Preserving Transformations as Mutation Operators: A Study on Their Effectiveness in Defect Detection Mutation Max Hort Simula Research Laboratory, Linas Vidziunas , Leon Moonen Simula Research Laboratory

14:00 - 15:00	Keynote 2Mutation at Room C

14:00 60m Keynote		Mutation Testing at Meta Mutation Mark Harman Meta Platforms, Inc. and UCL

15:00 - 15:30	Technical ProgramMutation at Room C

15:00 30m Paper		Mutation Testing via Iterative Large Language Model-driven Scientific Debugging Mutation Philipp Straubinger University of Passau, Marvin Kreis University of Passau, Stephan Lukasczyk JetBrains Research, Gordon Fraser University of Passau Pre-print

16:00 - 16:30	Technical ProgramMutation at Room C

16:00 30m Paper		Intent-Based Mutation Testing: From Naturally Written Programming Intents to Mutants Mutation Asma Hamidi University of Luxembourg, Ahmed Khanfir Mediterranean Institute of Technology, South Mediterranean University, Tunisia, Mike Papadakis University of Luxembourg

16:30 - 17:30	PanelMutation at Room C

16:30 60m Panel		Panel Mutation Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Shin Yoo KAIST, Gunel Jahangirova King's College London, Gregory Gay Chalmers University of Technology and University of Gothenburg, Mike Papadakis University of Luxembourg

17:30 - 17:40	ClosingMutation at Room C

17:30 10m Day closing		Closing Mutation

Mutation 2025 Program

Tue 1 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Workshops

Mutation 2025 Program

Switch Program View

Program Display Configuration

Tue 1 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Tue 1 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change