ICTSS 2025
Wed 17 - Fri 19 September 2025 Limassol, Cyprus
co-located with ECSA 2025

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 17 Sep

Displayed time zone: Athens change

09:30 - 10:30
10:30 - 11:00
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

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é
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
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
19:00 - 20:30

Thu 18 Sep

Displayed time zone: Athens change

09:30 - 10:30
Keynote Speaker 2General Track / ECSA Keynote Speakers at Phoenix
Chair(s): Cesare Pautasso Software Institute, Faculty of Informatics, USI Lugano

Quantifying the Software Performance of Architectural Decisions
Catia Trubiani

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
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
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
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

09:30 - 10:30
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
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
15:30 - 16:00