Room C - SAFE-ML 2025

VenueCongress Center, University of Naples Federico II, Naples, Italy

Room nameRoom C

Floor0

Capacity46

Room InformationNo extra information available

Program

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:30	OpeningNEXTA at Room C

09:15 15m Day opening		Welcome NEXTA Jeremy Bradbury Ontario Tech University

09:30 - 10:30	KeynoteNEXTA at Room C Chair(s): Jeremy Bradbury Ontario Tech University

09:30 60m Keynote		Threats to Instrument Validity within “in Silico” Research: Software Testing to the Rescue NEXTA Serge Demeyer University of Antwerp and Flanders Make vzw

11:00 - 12:30	Testing with LLMs & Fault LocalizationNEXTA at Room C

11:00 25m Research paper		Influence of Pure and Unit-Like Tests on SBFL Effectiveness: An Empirical Study. NEXTA Attila Szatmári , Tamás Gergely Department of Software Engineering, University of Szeged, Árpád Beszédes Department of Software Engineering, University of Szeged
11:25 25m Research paper		Witness Test Program Generation Through AST Node Combinations NEXTA HeuiChan Lim Davidson College
11:50 25m Research paper		Adaptive Testing for LLM-Based Applications: A Diversity-based Approach NEXTA Juyeon Yoon Korea Advanced Institute of Science and Technology, Robert Feldt Chalmers \| University of Gothenburg, Blekinge Institute of Technology, Shin Yoo KAIST
12:15 10m Other		Future Work in Test Automation NEXTA
12:25 5m Day closing		Closing NEXTA

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

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Room C	NEXTA Opening						NEXTA Keynote																		NEXTA Testing with LLMs & Fault Localization																																				NEXTA												NEXTA

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Room C	Mutation Keynote 1												Mutation Code Critters												Mutation Technical Program																																				Mutation Keynote 2												Mutation Technical Program												Mutation Technical Program						Mutation Panel												Mutation Closing

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45
Room C				NEXTA Welcome 09:15 - 09:30			NEXTA Threats to Instrument Validity within “in Silico” Research: Software Te ... 09:30 - 10:30																		NEXTA Influence of Pure and Unit-Like Tests on SBFL Effectiveness: An Empiric ... 11:00 - 11:25					NEXTA Witness Test Program Generation Through AST Node Combinations 11:25 - 11:50					NEXTA Adaptive Testing for LLM-Based Applications: A Diversity-based Approach 11:50 - 12:15					NEXTA Future Work in Test Automation 12:15 - 12:25		NEXTA Closing 12:25 - 12:30

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Room C	Mutation Mutation Testing in the Trenches 09:00 - 10:00												Mutation Code Critters Presentation 10:00 - 10:30												Mutation Equivalent Mutants: Deductive Verification to the Rescue 11:00 - 11:30						Mutation Exploring Robustness of Image Recognition Models on Hardware Accelerators 11:30 - 12:00						Mutation Semantic-Preserving Transformations as Mutation Operators: A Study on T ... 12:00 - 12:30																								Mutation Mutation Testing at Meta 14:00 - 15:00												Mutation Mutation Testing via Iterative Large Language Model-driven Scientific D ... 15:00 - 15:30												Mutation Intent-Based Mutation Testing: From Naturally Written Programming Inten ... 16:00 - 16:30						Mutation Panel 16:30 - 17:30												Mutation Closing 17:30 - 17:40

Room information: Room C

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

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

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

NEXTA

NEXTA

NEXTA

NEXTA

NEXTA

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

Mutation

Mutation

Mutation

Mutation

Mutation

Mutation

Mutation

Mutation

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

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

Tracks

Room information: Room C

Program Display Configuration

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

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

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

NEXTA

NEXTA

NEXTA

NEXTA

NEXTA

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

Mutation

Mutation

Mutation

Mutation

Mutation

Mutation

Mutation

Mutation

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

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

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

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

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

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

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

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