ICST 2025
Mon 31 March - Fri 4 April 2025 Naples, Italy
Room InformationNo extra information available
Program

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:10
OpeningA-MOST at Room A
09:00
10m
Day opening
Opening
A-MOST

09:10 - 10:30
KeynoteA-MOST at Room A
09:10
80m
Keynote
What is the Best Model? - A Discourse on Modeling Paradigms Used in Model-based Testing
A-MOST
Franz Wotawa Graz University of Technology
11:00 - 12:20
Coverage and Path-Based TestingA-MOST at Room A
11:00
30m
Talk
Novel Algorithm to Solve the Constrained Path-based Testing Problem
A-MOST
Matej Klima Czech Technical University in Prague, Miroslav Bures Czech Technical University, Czechia, Marek Miltner Stanford University, Chad Zanocco Stanford University, Gordon Fraser University of Passau, Sebastian Schweikl University of Passau, Patric Feldmeier University of Passau
11:30
30m
Talk
CPT Manager: An Open Environment for Constrained Path-based Testing
A-MOST
Matej Klima Czech Technical University in Prague, Miroslav Bures Czech Technical University, Czechia, Daniel Holotik Czech Technical University in Prague, Maximilian Herczeg Czech Technical University in Prague, Marek Miltner Stanford University, Chad Zanocco Stanford University
12:00
30m
Talk
Towards Improving Automated Testing with GraphWalker
A-MOST
Yavuz Koroglu Graz University of Technology, Mutlu Beyazıt University of Antwerp and Flanders Make vzw, Onur Kilincceker University of Antwerp and Flanders Make vzw, Serge Demeyer University of Antwerp and Flanders Make vzw, Franz Wotawa Technische Universitaet Graz
Media Attached
14:00 - 15:30
Model and Machine LearningA-MOST at Room A
14:00
30m
Talk
Automata Learning for React Web Applications
A-MOST
Peter Grubelnik Technische Universitaet Graz, Franz Wotawa Technische Universitaet Graz
14:30
30m
Talk
Mutating Skeletons - Learning Timed Automata via Domain Knowledge
A-MOST
Felix Wallner Graz University of Technology, Institute of Software Technology, Bernhard Aichernig Graz University of Technology, Florian Lorber Silicon Austria Labs, Martin Tappler TU Wien, Austria
15:00
30m
Talk
SelfBehave, Generating a Synthetic Behaviour-Driven Development Dataset Using SELF-INSTRUCT
A-MOST
Manon Galloy NADI, University of Namur, Martin Balfroid NADI, University of Namur, Benoît Vanderose University of Namur, Xavier Devroey University of Namur
Pre-print
16:00 - 17:30
AI and TestingA-MOST at Room A
16:00
30m
Talk
Model-based Testing Computer Games: Does It Work?
A-MOST
Wishnu Prasetya Utrecht University
Pre-print
16:30
60m
Panel
Discussion on AI and Testing
A-MOST

Tue 1 Apr

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

09:00 - 09:10
OpeningCCIW at Room A
09:00
10m
Day opening
Opening
CCIW

09:10 - 10:30
Joint Keynote with SAFE-ML: Brave New Threat: The Rise of Covert and Side ChannelsCCIW at Room A
16:00 - 17:30
Panel discussionCCIW at Room A
16:00
90m
Panel
What are the biggest challenges in large scale CI/CD?
CCIW

Wed 2 Apr

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

11:00 - 12:30
Testing, Localisation and RepairJournal-First Papers / Research Papers / Industry at Room A
Chair(s): Shin Yoo KAIST
11:00
15m
Talk
A Taxonomy of Integration-relevant Faults for Microservice Testing
Research Papers
Lena Gregor Technical University of Munich, Anja Hentschel Siemens AG, Leon Kastner Technical University of Munich, Alexander Pretschner TU Munich
Pre-print
11:15
15m
Talk
Suspicious Types and Bad Neighborhoods- Filtering Spectra with Compiler Information
Research Papers
Leonhard Applis Delft University of Technology, Matthías Páll Gissurarson Chalmers University of Technology, Sweden, Annibale Panichella Delft University of Technology
11:30
15m
Talk
Summary of Automated Program Repair for Variability Bugs in Software Product Line Systems
Journal-First Papers
Thu-Trang Nguyen , Xiao-Yi Zhang University of Science and Technology Beijing, Paolo Arcaini National Institute of Informatics , Fuyuki Ishikawa National Institute of Informatics, Hieu Vo VNU University of Engineering and Technology
Link to publication DOI
11:45
15m
Talk
Automated Engineering of Domain-Specific Metamorphic Testing Environments
Journal-First Papers
Pablo Gómez-Abajo Universidad Autónoma de Madrid, Pablo C Canizares Autonomous University of Madrid, Spain, Alberto Núňez University Complutense of Madrid, Spain., Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid
Link to publication DOI
12:00
15m
Talk
Speculative Testing at Google with Transition Prediction
Industry
Link to publication Pre-print
12:15
15m
Talk
Challenges, Strategies, and Impacts: A Qualitative Study on UI Testing in CI/CD Processes from GitHub Developers’ Perspectives
Research Papers
XIAOXIAO GAN Virginia Tech, Huayu Liang Virginia Tech, Chris Brown Virginia Tech
14:00 - 15:30
Insights from IndustryIndustry at Room A
Chair(s): Tim A. D. Henderson Google
14:00
15m
Talk
Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs
Industry
Jan Corazza TU Dortmund University, Ivan Gavran Informal Systems, Gabriela Moreira Informal Systems, Danel Neider TU Dortmund University
14:15
15m
Talk
Evaluation of the Choice of LLM in a Multi-agent solution for GUI-test Generation
Industry
Stevan Tomic Blekinge Institute of Technology, Emil Alégroth Blekinge Institute of Technology, Maycel Isaac Synteda
14:30
15m
Talk
Assessing the Uncertainty and Robustness of the Laptop Refurbishing Software
Industry
Chengjie Lu Simula Research Laboratory and University of Oslo, Jiahui Wu Simula Research Laboratory and University of Oslo, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Mikkel Labori Olsen Danish Technological Institute
14:45
15m
Talk
FuzzE, Development of a Fuzzing Approach for Odoo's Tours Integration Testing Plateform
Industry
Gabriel Benoit University of Namur, François Georis Odoo S.A., Géry Debongnie Odoo S.A., Benoît Vanderose University of Namur, Xavier Devroey University of Namur
Pre-print
15:00
15m
Talk
Early V&V in Knowledge-Centric Systems Engineering: Advances and Benefits in Practice
Industry
Jose Luis de la Vara Universidad de Castilla - La Mancha, Juan Manuel Morote Independent Researcher, Clara Ayora Universidad de Castilla-La Mancha, Giovanni Giachetti Universidad Andrés Bello Chile, Luis Alonso The REUSE Company, Roy Mendieta The REUSE Company, David Muñoz The REUSE Company, Ricardo Ruiz Nolasco RGB Medical Devices, Antonio González RGB Medical Devices S.A.
15:15
15m
Talk
Practical Pipeline-Aware Regression Test Optimization for Continuous Integration
Industry
Daniel Schwendner BMW Group, Maximilian Jungwirth BMW Group, University of Passau, Martin Gruber BMW Group, Martin Knoche BMW Group, Daniel Merget BMW Group, Gordon Fraser University of Passau
16:00 - 17:00
Software Testing and Fault AnalysisJournal-First Papers / Short Papers, Vision and Emerging Results at Room A
Chair(s): Luigi Libero Lucio Starace Università degli Studi di Napoli Federico II
16:00
15m
Talk
Promoting Open Science in Test-driven Software Experiments
Journal-First Papers
Marcus Kessel University of Mannheim, Colin Atkinson University of Mannheim
16:15
15m
Talk
A New Perspective on the Competent Programmer Hypothesis Through the Reproduction of Real Faults With Repeated Mutations
Journal-First Papers
Zaheed Ahmed University of Goettingen, Eike Schwass , Steffen Herbold University of Passau, Fabian Trautsch University of Göttingen, Jens Grabowski
16:30
7m
Talk
Addressing Data Leakage in HumanEval Using Combinatorial Test Design
Short Papers, Vision and Emerging Results
Jeremy Bradbury Ontario Tech University, Riddhi More Ontario Tech University
16:37
7m
Talk
Towards Refined Code Coverage: A New Predictive Problem in Software Testing
Short Papers, Vision and Emerging Results
Carolin Brandt Delft University of Technology, Aurora Ramírez University of Córdoba
Pre-print
16:44
7m
Talk
Weighted Call Frequency-based Fault Localization
Short Papers, Vision and Emerging Results
Attila Szatmári , ORBAN, Aondowase James , Tamás Gergely Department of Software Engineering, University of Szeged
16:51
7m
Talk
Towards Cross-Build Differential Testing
Short Papers, Vision and Emerging Results
Jens Dietrich Victoria University of Wellington, Tim White , Valerio Terragni University of Auckland, Behnaz Hassanshahi Oracle Labs, Australia

Thu 3 Apr

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

11:00 - 12:22
LLMs in TestingResearch Papers / Short Papers, Vision and Emerging Results at Room A
Chair(s): Valerio Terragni University of Auckland
11:00
15m
Talk
Improving the Readability of Automatically Generated Tests using Large Language Models
Research Papers
Matteo Biagiola Università della Svizzera italiana, Gianluca Ghislotti Università della Svizzera italiana, Paolo Tonella USI Lugano
11:15
15m
Talk
Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test Generation
Research Papers
Azat Abdullin JetBrains Research, TU Delft, Pouria Derakhshanfar JetBrains Research, Annibale Panichella Delft University of Technology
11:30
15m
Talk
Benchmarking Open-source Large Language Models For Log Level Suggestion
Research Papers
Yi Wen HENG Concordia University, Zeyang Ma Concordia University, Zhenhao Li York University, Dong Jae Kim DePaul University, Tse-Hsun (Peter) Chen Concordia University
11:45
15m
Talk
Understanding and Enhancing Attribute Prioritization in Fixing Web UI Tests with LLMs
Research Papers
Zhuolin Xu Concordia University, Qiushi Li Concordia University, Shin Hwei Tan Concordia University
12:00
15m
Talk
Benchmarking Generative AI Models for Deep Learning Test Input Generation
Research Papers
Maryam Maryam University of Udine, Matteo Biagiola Università della Svizzera italiana, Andrea Stocco Technical University of Munich, fortiss, Vincenzo Riccio University of Udine
Pre-print
12:15
7m
Talk
Leveraging Large Language Models for Explicit Wait Management in End-to-End Web Testing
Short Papers, Vision and Emerging Results
Dario Olianas DIBRIS, University of Genova, Italy, Maurizio Leotta DIBRIS, University of Genova, Italy, Filippo Ricca Università di Genova

Fri 4 Apr

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

11:00 - 12:30
UAV Tool CompetitionTool Competition: UAV Testing at Room A
Chair(s): Dmytro Humeniuk Polytechnique Montréal, Sajad Khatiri USI-Lugnao & University of Bern, Sebastiano Panichella University of Bern, Prasun Saurabh , Tahereh Zohdinasab USI Lugano
11:00
10m
Talk
Opening and Introduction to the Competition
Tool Competition: UAV Testing
Sajad Khatiri USI-Lugnao & University of Bern
11:10
10m
Short-paper
Evolv-1 at the ICST 2025 Tool Competition - UAV Testing Track
Tool Competition: UAV Testing
Pietro Lechthaler Fondazione Bruno Kessler, Davide Prandi Fondazione Bruno Kessler, Fitsum Kifetew Fondazione Bruno Kessler, Angelo Susi Fondazione Bruno Kessler
11:20
10m
Short-paper
PALM at the ICST 2025 Tool Competition - UAV Testing Track
Tool Competition: UAV Testing
Shuncheng Tang University of Science and Technology of China, Zhenya Zhang Kyushu University, Japan, Ahmet Cetinkaya Shibaura Institute of Technology, Paolo Arcaini National Institute of Informatics
11:30
10m
Short-paper
TGen-UQ at the ICST 2025 Tool Competition - UAV Testing Track
Tool Competition: UAV Testing
Ali Javadi University of Bern, Christian Birchler Zurich University of Applied Sciences & University of Bern
11:40
10m
Short-paper
ICST Tool Competition 2025 - UAV Testing Track
Tool Competition: UAV Testing
Sajad Khatiri USI-Lugnao & University of Bern, Tahereh Zohdinasab USI Lugano, Prasun Saurabh , Dmytro Humeniuk Polytechnique Montréal, Sebastiano Panichella University of Bern
Pre-print
11:50
25m
Talk
Closing
Tool Competition: UAV Testing
Sajad Khatiri USI-Lugnao & University of Bern
14:00 - 15:30
SDC Tool CompetitionTool Competition: Self-Driving Car Testing at Room A
Chair(s): Christian Birchler Zurich University of Applied Sciences & University of Bern, Mattia Fazzini University of Minnesota, Stefan Klikovits Johannes Kepler University, Linz, Sebastiano Panichella University of Bern
14:00
15m
Talk
Opening and Introduction to the Competition
Tool Competition: Self-Driving Car Testing
C: Christian Birchler Zurich University of Applied Sciences & University of Bern
14:15
10m
Short-paper
DRVN at the ICST 2025 Tool Competition – Self-Driving Cars Testing Track
Tool Competition: Self-Driving Car Testing
Antony Bartlett TU Delft, The Netherlands, Cynthia C. S. Liem Delft University of Technology, Annibale Panichella Delft University of Technology
14:25
10m
Short-paper
CertiFail at the ICST 2025 Tool Competition – Self-Driving Car Testing Track
Tool Competition: Self-Driving Car Testing
Fasih Munir Malik University of Bern, Sajad Khatiri USI-Lugnao & University of Bern
14:35
10m
Short-paper
DETOUR at the ICST 2025 Tool Competition – Self-Driving Car Testing Track
Tool Competition: Self-Driving Car Testing
Paolo Arcaini National Institute of Informatics , Ahmet Cetinkaya Shibaura Institute of Technology
14:45
10m
Short-paper
ITS4SDC at the ICST 2025 Tool Competition – Self-Driving Car Testing Track
Tool Competition: Self-Driving Car Testing
Ali ihsan Güllü , Faiz Ali Shah University of Tartu, Estonia, Dietmar Pfahl University of Tartu
14:55
10m
Short-paper
NN-SDCTest at the ICST 2025 Tool Competition – Self-Driving Car Testing Track
Tool Competition: Self-Driving Car Testing
Prakash Aryan Birla Institute of Technology and Science, Sajad Khatiri USI-Lugnao & University of Bern
15:05
10m
Short-paper
ICST Tool Competition 2025 – Self-Driving Car Testing Track
Tool Competition: Self-Driving Car Testing
Christian Birchler Zurich University of Applied Sciences & University of Bern, Stefan Klikovits Johannes Kepler University, Linz, Mattia Fazzini University of Minnesota, Sebastiano Panichella University of Bern
Pre-print
15:15
15m
Talk
Closing
Tool Competition: Self-Driving Car Testing
C: Christian Birchler Zurich University of Applied Sciences & University of Bern

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

Thu 3 Apr

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

Fri 4 Apr

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

Wed 2 Apr

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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Room A

Fri 4 Apr

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

Room11:0015304512:0015304513:0015304514:0015304515:00153045
Room A