Atrium C - ICTSS 2025

VenueThe St. Raphael Resort – 5 *

Room nameAtrium C

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+03:00) Athens.

Use conference time zone: (GMT+03:00) AthensSelect 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 15 Sep
Displayed time zone: Athens change

	14:00 - 15:30	Software Architecture in the Age of Agentic AI ECSA Tutorials at Atrium C Authors: Karthik Vaidhyanathan (SERC, IIIT Hyderabad, India) and Henry Muccini (University of L’Aquila, Italy) More Info: https://conf.researchr.org/info/ecsa-2025/tutorials

	16:00 - 17:30	Software Architecture in the Age of Agentic AI ECSA Tutorials at Atrium C Authors: Karthik Vaidhyanathan (SERC, IIIT Hyderabad, India) and Henry Muccini (University of L’Aquila, Italy) More Info: https://conf.researchr.org/info/ecsa-2025/tutorials

Tue 16 Sep
Displayed time zone: Athens change

	11:00 - 12:30	5th International Workshop on Agility with Microservices Programming (AMP)ECSA Workshops at Atrium C More info: https://amp-workshops.github.io/

	14:00 - 15:30	5th International Workshop on Agility with Microservices Programming (AMP)ECSA Workshops at Atrium C More info: https://amp-workshops.github.io/

Wed 17 Sep
Displayed time zone: Athens change

	11:00 - 12:30	Opening + ICTSS KeynoteGeneral Track at Atrium C Chair(s): George Angelos Papadopoulos University of Cyprus Opening Keynote speech by Bertrand Meyer Title: The Future of Verification in the age of AI

14:00 - 15:30	Metrics and Human-Centric Approaches to TestingGeneral Track at Atrium C Chair(s): Nina Yevtushenko Ivannikov Institute for System Programming of the RussianAcademy of Sciences

14:00 30m Talk		Time for Quiescence: Modelling Quiescent Behaviour in Testing via Time-outs in Timed Automata General Track Laura Brandán Briones Universidad Nacional de Córdoba, Marcus Gerhold University of Twente, The Netherlands, Petra van den Bos University of Twente, The Netherlands, Marielle Stoelinga University of Twente and Radboud University, Nijmegen
14:30 30m Talk		Enhancing Path Testing with Eye-Tracking: A Human-Centric Approach to Functional Software Testing General Track Angelos Fotopoulos University of Patras, Fezo Metsi University of Patras, Michalis Xenos University of Patras
15:00 30m Talk		New convex-based metamorphic relations and large-scale machine learning model evaluation General Track Jessy Colonval Université Marie et Louis Pasteur, CNRS, institut FEMTO-ST(UMR 6174), F-25000, Fabrice Bouquet University of Bourgogne Franche-Comté

16:00 - 17:40	Automated Test Generation and AI-Driven TestingGeneral Track at Atrium C Chair(s): Tolgahan Bardakci University of Antwerp and Flanders Make

16:00 30m Talk		On the evaluation of test suites generated by large language models General Track Matej Cuze Graz University of Technology, Franz Wotawa Technische Universitaet Graz
16:30 30m Talk		On the use of imbalanced datasets for learning-based vulnerability detection General Track ROSMAEL ZIDANE LEKEUFACK FOULEFACK University of Trento, Alessandro Marchetto Università di Trento
17:00 20m Talk		Tracing Vulnerability Propagation Across Open Source Software Ecosystems General Track Jukka Ruohonen University of Southern Denmark, Qusai Ramadan The Maersk Mc-Kinney Moller Institute, University of Southern Denmark
17:20 20m Talk		Localization Testing in Video Games using Text Recognition General Track Guillermo Jimenez-Diaz Universidad Complutense de Madrid, Dewei Chen Universidad Complutense de Madrid

Thu 18 Sep
Displayed time zone: Athens change

11:00 - 12:30	Frameworks and Test AutomationGeneral Track at Atrium C Chair(s): Petra van den Bos University of Twente, The Netherlands

11:00 30m Talk		Introducing CreaTest: a framework for test case generation in itemis CREATE General Track Andrea Bombarda University of Bergamo, Silvia Bonfanti University of Bergamo, Angelo Gargantini University of Bergamo, Nico Pellegrinelli University of Bergamo
11:30 30m Talk		Distributed Critical Test Generation for Cyber-Physical Systems General Track Ali Kaya Åbo Akademi University, Ivan Porres Åbo Akademi University
12:00 30m Talk		Automating Performance Testing in CI/CD - Tools Evaluation General Track Maxim Pinyagin Innopolis University, Andrey Sadovykh Softeam

14:00 - 15:30	Testing in Complex and Safety-Critical SystemsGeneral Track at Atrium C Chair(s): Franz Wotawa Graz University of Technology

14:00 30m Talk		Assessing Test Scenarios for Autonomous Driving Using Probabilistic Model Checking General Track Jean-Baptiste Horel INRIA, Philippe Ledent AEDVICES Consulting, Radu Mateescu INRIA, Wendelin Serwe INRIA, Aline Uwimbabazi INRIA
14:30 30m Talk		Passive Testing of Vehicular Embedded Systems: An Industrial Case Study with T-EARS and Napkin Studio General Track Aleksandra Nicaj Malardalen University, Daniel Flemström RISE, Eduard P. Enoiu Malardalen University, Wasif Afzal Mälardalen University
15:00 30m Talk		False Positive Detection in Instrumentation and Control System Testing General Track Anas El Haoufi Framatome, Gabriel Thomas Framatome, Nicolas Hili Université Grenoble Alpes

16:00 - 17:40	Foundations and Advanced Testing TechniquesGeneral Track at Atrium C Chair(s): Bertrand Meyer Constructor Institute Schaffhausen

16:00 25m Talk		A Time Series Analysis of Assertions in the Linux Kernel General Track Jukka Ruohonen University of Southern Denmark
16:25 25m Talk		Loop unrolling: formal definition and application to testing General Track Li Huang Constructor Institute Schaffhausen, Reto Weber PhD Student of Constructor Institute of Technology, Bertrand Meyer Constructor Institute Schaffhausen
16:50 25m Talk		On using Homing Sequences instead of Distinguishing in FSM-based Testing General Track Natalia Kushik SAMOVAR, Télécom SudParis, Institut Polytechnique de Paris, Nina Yevtushenko Ivannikov Institute for System Programming of the RussianAcademy of Sciences
17:15 25m Talk		Testability Indicators for Refactoring General Track Tom Holvoet imec-DistriNet KU Leuven

Fri 19 Sep
Displayed time zone: Athens change

11:00 - 12:30	Reinforcement Learning and Generative TestingGeneral Track at Atrium C Chair(s): Li Huang Constructor Institute Schaffhausen

11:00 30m Talk		Reusable Test Suites for Reinforcement Learning General Track Jørn Eirik Betten Simula Research Laboratory; Oslo Metropolitan University, Quentin Mazouni Simula Research Laboratory, Dennis Gross Simula Research Laboratory, Pedro Lind Oslo Metropolitan University; School of Economics,Innovation and Technology, Kristiania University of AppliedSciences, Helge Spieker Simula Research Laboratory
11:30 30m Talk		Test Generation for Deep Reinforcement Learning Using LRP-Guided Mutation of Classified Configurations General Track Brice Tchuenkam Université du Québec en Outaouais, Omer Nguena Timo Université du Québec en Outaouais
12:00 30m Talk		Test Amplification for REST APIs via Single and Multi-Agent LLM Systems General Track Robbe Nooyens University of Antwerp, Tolgahan Bardakci University of Antwerp and Flanders Make, Mutlu Beyazıt University of Antwerp and Flanders Make vzw, Serge Demeyer University of Antwerp and Flanders Make vzw

14:00 - 15:30	LLMs and Agent-Based TestingGeneral Track at Atrium C Chair(s): Jørn Eirik Betten Simula Research Laboratory; Oslo Metropolitan University

14:00 30m Talk		Reverse Engineering for Input Modeling: Input Parameter Model Inference from Network Traces General Track Manuel Leithner SBA Research, Salzburg University of Applied Sciences, Dimitris E. Simos Salzburg University of Applied Sciences, Paris LodronUniversity of Salzburg
14:30 30m Talk		Automated Exploration of Conversational Agents for the Synthesis of Testing Profiles General Track Iván Sotillo del Horno Universidad Autónoma de Madrid, Alejandro del Pozzo Universidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid Pre-print Media Attached
15:00 30m Talk		Extracting Threats from System Descriptions with LLMs - Comparing One and Two Agents Strategies General Track Leonid Zelenskiy Innopolis University, Andrey Sadovykh Softeam

	15:30 - 15:40	ClosingGeneral Track at Atrium C

Mon 15 Sep
Displayed time zone: Athens change


Room	14:00						30						15:00						30						16:00						30						17:00						30
Atrium C	ECSA Tutorials Software Architecture in the Age of Agentic AI																								ECSA Tutorials Software Architecture in the Age of Agentic AI

Tue 16 Sep
Displayed time zone: Athens change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Atrium C	ECSA Workshops																								ECSA Workshops 5th International Workshop on Agility with Microservices Programming (AMP)																																				ECSA Workshops 5th International Workshop on Agility with Microservices Programming (AMP)

Wed 17 Sep
Displayed time zone: Athens change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Atrium C	General Track Opening + ICTSS Keynote																																				General Track Metrics and Human-Centric Approaches to Testing																								General Track Automated Test Generation and AI-Driven Testing

Thu 18 Sep
Displayed time zone: Athens change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Atrium C	General Track Frameworks and Test Automation																																				General Track Testing in Complex and Safety-Critical Systems																								General Track Foundations and Advanced Testing Techniques

Fri 19 Sep
Displayed time zone: Athens change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Atrium C	General Track Reinforcement Learning and Generative Testing																																				General Track LLMs and Agent-Based Testing																		General Track Closing

Wed 17 Sep
Displayed time zone: Athens change


Room	14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Atrium C	ICTSS General Track Time for Quiescence: Modelling Quiescent Behaviour in Testing via Time- ... 14:00 - 14:30						ICTSS General Track Enhancing Path Testing with Eye-Tracking: A Human-Centric Approach to F ... 14:30 - 15:00						ICTSS General Track New convex-based metamorphic relations and large-scale machine learning ... 15:00 - 15:30												ICTSS General Track On the evaluation of test suites generated by large language models 16:00 - 16:30						ICTSS General Track On the use of imbalanced datasets for learning-based vulnerability dete ... 16:30 - 17:00						ICTSS General Track Tracing Vulnerability Propagation Across Open Source Software Ecosystems 17:00 - 17:20				ICTSS General Track Localization Testing in Video Games using Text Recognition 17:20 - 17:40

Thu 18 Sep
Displayed time zone: Athens change


Room	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
Atrium C	ICTSS General Track Introducing CreaTest: a framework for test case generation in itemis CREATE 11:00 - 11:30						ICTSS General Track Distributed Critical Test Generation for Cyber-Physical Systems 11:30 - 12:00						ICTSS General Track Automating Performance Testing in CI/CD - Tools Evaluation 12:00 - 12:30																								ICTSS General Track Assessing Test Scenarios for Autonomous Driving Using Probabilistic Mod ... 14:00 - 14:30						ICTSS General Track Passive Testing of Vehicular Embedded Systems: An Industrial Case Study ... 14:30 - 15:00						ICTSS General Track False Positive Detection in Instrumentation and Control System Testing 15:00 - 15:30												ICTSS General Track A Time Series Analysis of Assertions in the Linux Kernel 16:00 - 16:25					ICTSS General Track Loop unrolling: formal definition and application to testing 16:25 - 16:50					ICTSS General Track On using Homing Sequences instead of Distinguishing in FSM-based Testing 16:50 - 17:15					ICTSS General Track Testability Indicators for Refactoring 17:15 - 17:40

Fri 19 Sep
Displayed time zone: Athens change


Room	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
Atrium C	ICTSS General Track Reusable Test Suites for Reinforcement Learning 11:00 - 11:30						ICTSS General Track Test Generation for Deep Reinforcement Learning Using LRP-Guided Mutati ... 11:30 - 12:00						ICTSS General Track Test Amplification for REST APIs via Single and Multi-Agent LLM Systems 12:00 - 12:30																								ICTSS General Track Reverse Engineering for Input Modeling: Input Parameter Model Inference ... 14:00 - 14:30						ICTSS General Track Automated Exploration of Conversational Agents for the Synthesis of Tes ... 14:30 - 15:00						ICTSS General Track Extracting Threats from System Descriptions with LLMs - Comparing One a ... 15:00 - 15:30

Room information: Atrium C

Mon 15 Sep
Displayed time zone: Athens change

Tue 16 Sep
Displayed time zone: Athens change

Wed 17 Sep
Displayed time zone: Athens change

Thu 18 Sep
Displayed time zone: Athens change

Fri 19 Sep
Displayed time zone: Athens change

Mon 15 Sep
Displayed time zone: Athens change

ECSA Tutorials

ECSA Tutorials

Tue 16 Sep
Displayed time zone: Athens change

ECSA Workshops

ECSA Workshops

ECSA Workshops

Wed 17 Sep
Displayed time zone: Athens change

General Track

General Track

General Track

Thu 18 Sep
Displayed time zone: Athens change

General Track

General Track

General Track

Fri 19 Sep
Displayed time zone: Athens change

General Track

General Track

General Track

Wed 17 Sep
Displayed time zone: Athens change

Thu 18 Sep
Displayed time zone: Athens change

Fri 19 Sep
Displayed time zone: Athens change

Tracks

Room information: Atrium C

Program Display Configuration

Mon 15 SepDisplayed time zone: Athens change

Tue 16 SepDisplayed time zone: Athens change

Wed 17 SepDisplayed time zone: Athens change

Thu 18 SepDisplayed time zone: Athens change

Fri 19 SepDisplayed time zone: Athens change

Mon 15 SepDisplayed time zone: Athens change

ECSA Tutorials

ECSA Tutorials

Tue 16 SepDisplayed time zone: Athens change

ECSA Workshops

ECSA Workshops

ECSA Workshops

Wed 17 SepDisplayed time zone: Athens change

General Track

General Track

General Track

Thu 18 SepDisplayed time zone: Athens change

General Track

General Track

General Track

Fri 19 SepDisplayed time zone: Athens change

General Track

General Track

General Track

Wed 17 SepDisplayed time zone: Athens change

Thu 18 SepDisplayed time zone: Athens change

Fri 19 SepDisplayed time zone: Athens change

Mon 15 Sep
Displayed time zone: Athens change

Tue 16 Sep
Displayed time zone: Athens change

Wed 17 Sep
Displayed time zone: Athens change

Thu 18 Sep
Displayed time zone: Athens change

Fri 19 Sep
Displayed time zone: Athens change

Mon 15 Sep
Displayed time zone: Athens change

Tue 16 Sep
Displayed time zone: Athens change

Wed 17 Sep
Displayed time zone: Athens change

Thu 18 Sep
Displayed time zone: Athens change

Fri 19 Sep
Displayed time zone: Athens change

Wed 17 Sep
Displayed time zone: Athens change

Thu 18 Sep
Displayed time zone: Athens change

Fri 19 Sep
Displayed time zone: Athens change