Evaluating Correct-Consistency and Robustness in Code-Generating LLMs (ICST 2025 - Doctoral Symposium) - ICST 2025

Mon 31 March - Fri 4 April 2025 Naples, Italy

Track

ICST 2025 Doctoral Symposium

This program is tentative and subject to change.

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

When

Fri 4 Apr 2025 12:00 - 12:20 at Room B - Doctoral Symposium (Private) Chair(s): Andrea Stocco, Tanja E. J. Vos

This program is tentative and subject to change.

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

Session Program

Fri 4 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	11:00 - 12:40	Doctoral Symposium (Private)Doctoral Symposium at Room B Chair(s): Andrea Stocco Technical University of Munich, fortiss, Tanja E. J. Vos Universitat Politècnica de València and Open Universiteit

	11:00 20m Talk		On Service-to-Service Integration Testing in Microservice Systems Doctoral Symposium Lena Gregor Technical University of Munich
	11:20 20m Talk		A Method for Systematically Assessing the Safety of Automated Driving Systems via Simulation Doctoral Symposium Ali Gullu Institute of Computer Science, University of Tartu
	11:40 20m Talk		End-to-End Testing in Web Environments: Addressing Practical Challenges Doctoral Symposium Sergio Di Meglio Università degli Studi di Napoli Federico II
	12:00 20m Talk		Evaluating Correct-Consistency and Robustness in Code-Generating LLMs Doctoral Symposium Shahin Honarvar Imperial College London
	12:20 20m Talk		Uncertainty-Aware Autonomous Driving System Testing with Large Language Models Doctoral Symposium Jiahui Wu Simula Research Laboratory and University of Oslo

Shahin Honarvar

Shahin Honarvar

Imperial College London

:

:

:

: