ECSA 2025 (series) / ICTSS 2025 (series) /
ICTSS 2025 Program
This is the ICTSS 2025 program - see the full program for ECSA 2025 and all affiliated events.
Filter Program
Dates
Wed 17 Sep 2025
Thu 18 Sep 2025
Fri 19 Sep 2025
Rooms
Atrium C
Phoenix
Venue Hotel - Octagon Restaurant
Venue Hotel Lobby Area
Tracks
ECSA Keynote Speakers
ICTSS Catering
ICTSS General Track
Badges
Nothing to filter
Your Program
Nothing to filter
This program is tentative and subject to change.
Wed 17 SepDisplayed time zone: Athens change
Wed 17 Sep
Displayed time zone: Athens change
09:30 - 10:30 | Keynote Eoin WoodsGeneral Track / ECSA Keynote Speakers at Phoenix Chair(s): Vasilios Andrikopoulos University of Groningen | ||
09:30 60mKeynote | Software Architecture Doesn’t Matter Any More - Does It? ECSA Keynote Speakers Eoin Woods Artechra | ||
11:00 - 12:30 | Opening + Keynote ICTSSGeneral Track / ECSA Keynote Speakers 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 | ||
12:30 - 14:00 | |||
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 30mTalk | 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 30mTalk | 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 30mTalk | 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é | ||
15:30 - 16:00 | |||
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 30mTalk | On the evaluation of test suites generated by large language models General Track | ||
16:30 30mTalk | On the use of imbalanced datasets for learning-based vulnerability detection General Track | ||
17:00 20mTalk | 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 20mTalk | Localization Testing in Video Games using Text Recognition General Track Guillermo Jimenez-Diaz Universidad Complutense de Madrid, Dewei Chen Universidad Complutense de Madrid | ||
19:00 - 20:30 | |||
Thu 18 SepDisplayed time zone: Athens change
Thu 18 Sep
Displayed time zone: Athens change
09:30 - 10:30 | Keynote Catia TrubianiGeneral Track / ECSA Keynote Speakers at Phoenix Chair(s): Cesare Pautasso Software Institute, Faculty of Informatics, USI Lugano | ||
09:30 60mKeynote | Quantifying the Software Performance of Architectural Decisions ECSA Keynote Speakers Catia Trubiani Gran Sasso Science Institute | ||
10:30 - 11:00 | |||
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 30mTalk | 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 30mTalk | Distributed Critical Test Generation for Cyber-Physical Systems General Track | ||
12:00 30mTalk | Automating Performance Testing in CI/CD - Tools Evaluation General Track | ||
12:30 - 14:00 | |||
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 30mTalk | 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 30mTalk | 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 30mTalk | False Positive Detection in Instrumentation and Control System Testing General Track | ||
15:30 - 16:00 | |||
16:00 - 17:40 | Foundations and Advanced Testing TechniquesGeneral Track at Atrium C Chair(s): Bertrand Meyer Constructor Institute Schaffhausen | ||
16:00 25mTalk | A Time Series Analysis of Assertions in the Linux Kernel General Track Jukka Ruohonen University of Southern Denmark | ||
16:25 25mTalk | 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 25mTalk | 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 25mTalk | Testability Indicators for Refactoring General Track Tom Holvoet imec-DistriNet KU Leuven | ||
Fri 19 SepDisplayed time zone: Athens change
Fri 19 Sep
Displayed time zone: Athens change
09:30 - 10:30 | Keynote Elisabetta Di NittoGeneral Track / ECSA Keynote Speakers at Phoenix Chair(s): Jacopo Soldani University of Pisa, Italy | ||
09:30 60mKeynote | Development of Infrastructure as Code: approaches, challenges and trends ECSA Keynote Speakers Elisabetta Di Nitto Politecnico di Milano | ||
10:30 - 11:00 | |||
11:00 - 12:30 | Reinforcement Learning and Generative TestingGeneral Track at Atrium C Chair(s): Li Huang Constructor Institute Schaffhausen | ||
11:00 30mTalk | 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 30mTalk | 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 30mTalk | 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 | ||
12:30 - 14:00 | |||
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 30mTalk | 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 30mTalk | 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 30mTalk | Extracting Threats from System Descriptions with LLMs - Comparing One and Two Agents Strategies General Track | ||
15:30 - 15:40 | |||
15:30 - 16:00 | |||