ICST 2025
Mon 31 March - Fri 4 April 2025
Naples, Italy
Toggle navigation
Attending
Venue: Congress Center, University of Naples Federico II, Naples, Italy
The Area: Naples, Italy
Accommodations in Naples
Code of Conduct
Registration
Student Volunteers
Visa Information
Equity, Diversity and Inclusion Plan
Guidelines for Creating Presentations
Social Events
Digital brochure and Poster
Wi-Fi
Sponsorship Opportunities
Program
ICST Program
Your Program
Program Overview
Keynotes
Panel
Mon 31 Mar
Tue 1 Apr
Wed 2 Apr
Thu 3 Apr
Fri 4 Apr
Tracks
ICST 2025
Special Issue
Research Papers
Social Events
Industry
Short Papers, Vision and Emerging Results
Education
Posters
Journal-First Papers
Doctoral Symposium
Keynotes
Technical Briefings and Tutorials
Testing Tools and Data Showcase
Tool Competition: Self-Driving Car Testing
Tool Competition: UAV Testing
Workshops
Workshops
A-MOST
A-TEST
AIST
CCIW
5th CI/CD Industry Workshop
ITEQS
IWCT
InSTA
Mutation
NEXTA
SAFE-ML
Organization
ICST 2025 Committees
Organizing Committee
Steering Committee
Student Volunteers
Track Committees
Special Issue
Research Papers
Industry
Short Papers, Vision and Emerging Results
Education
Posters
Journal-First Papers
Doctoral Symposium
Organizing Committee
Keynote
Panel
Program Committee
Technical Briefings and Tutorials
Testing Tools and Data Showcase
Tool Competition: Self-Driving Car Testing
Tool Competition: UAV Testing
Workshops
Contributors
People Index
Workshops
A-MOST
Organizing Committee
Program Committee
A-TEST
Organizing Committee
Program Committee
AIST
Organizing Committee
Program Committee
Steering Committee
CCIW
Organizing Committee
ITEQS
Organizing Committee
Program Committee
Steering Committee
IWCT
Program Committee Chairs
Program Committee
Steering Committee
Competition Committee
InSTA
Organizing Committee
Program Committee
Mutation
Organising Committee
Program Committee
NEXTA
Organizing Commitee
Program Committee
SAFE-ML
Organizing Committee
Program Committee
Steering Committee
Search
Series
Series
ICST 2025
ICST 2024
ICST 2023
ICST 2022
ICST 2021
ICST 2020
Sign in
Sign up
ICST 2025
(
series
) /
Congress Center, University of Naples Federico II, Naples, Italy
/
Room information: Room A
Venue
Congress Center, University of Naples Federico II, Naples, Italy
Room name
Room A
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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 31 Mar
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 09:10
Opening
A-MOST
at
Room A
09:00
10m
Day opening
Opening
A-MOST
09:10 - 10:30
Keynote
A-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 Testing
A-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 Learning
A-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 Testing
A-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
Opening
CCIW
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 Channels
CCIW
at
Room A
11:00 - 12:30
CI at scale
CCIW
at
Room A
11:00
20m
Talk
Improving Developer Satisfaction through focusing on problems that provably matter
CCIW
Stanislaw Swierc
Meta Platforms, Inc.
,
Mateusz Machalica
,
Scott Yost
Meta Platforms, Inc
Link to publication
11:25
20m
Talk
Shifting Gears in Continuous Integration: BMW’s Strategies for High-Velocity Builds
CCIW
Maximilian Jungwirth
BMW Group, University of Passau
,
Simon Rummert
BMW Group
,
Alexander Scott
BMW Group
,
Gordon Fraser
University of Passau
11:45
20m
Talk
Multi-Architecture Testing at Google
CCIW
Tim A. D. Henderson
Google
,
Sushmita Azad
Google
,
Avi Kondareddy
Google
,
Abhayendra Singh
Google, Inc
12:10
20m
Talk
The Art of Managing Flaky Tests at Scale
CCIW
Oleg Andreyev
Okta
Pre-print
14:00 - 15:30
Centralized, ML-based, CI optimizations and new use cases
CCIW
at
Room A
14:00
20m
Talk
Unified Testing Intelligence: Optimizing CI/CD for Distributed Enterprise IT Systems with Generative AI powered Omni-Functional Insights
CCIW
Mahesh Venkataraman
Accenture
,
Koushik Vijayaraghavan
Accenture
,
Ram Ramalingam
Accenture
,
Gaetano Sagliocco
Accenture
14:25
20m
Talk
Unlocking New Practical Advantages of Machine Learning via Generating Large Amounts of High-Quality Data about Software Faults
CCIW
Neetha Jambigi
University of Cologne
,
Marc Türke
SAP SE
,
Bartosz Bogacz
SAP SE
,
Thomas Bach
SAP
,
Michael Felderer
German Aerospace Center (DLR) & University of Cologne
14:45
20m
Talk
Continuous Evaluation: Using CI Techniques For Experimentation At Scale
CCIW
Nilesh Jagnik
Google
16:00 - 17:30
Panel discussion
CCIW
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 Repair
Journal-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
Avi Kondareddy
Google
,
Sushmita Azad
Google
,
Abhayendra Singh
Google, Inc
,
Tim A. D. Henderson
Google
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 Industry
Industry
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 Analysis
Journal-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 Testing
Research 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 Competition
Tool 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 Competition
Tool 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
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Room A
A-MOST
Opening
A-MOST
Keynote
A-MOST
Coverage and Path-Based Testing
A-MOST
Model and Machine Learning
A-MOST
AI and Testing
Tue 1 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Room A
CCIW
Opening
CCIW
Joint Keynote with SAFE-ML: Brave New Threat: The Rise of Covert and Side Channels
CCIW
CI at scale
CCIW
Centralized, ML-based, CI optimizations and new use cases
CCIW
Panel discussion
Wed 2 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Room A
Journal-First Papers + Research Papers + Industry
Testing, Localisation and Repair
Industry
Insights from Industry
Journal-First Papers + Short Papers, Vision and Emerging Results
Software Testing and Fault Analysis
Thu 3 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
30
12:00
30
Room A
Research Papers + Short Papers, Vision and Emerging Results
LLMs in Testing
Fri 4 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Room A
Tool Competition: UAV Testing
UAV Tool Competition
Tool Competition: Self-Driving Car Testing
SDC Tool Competition
Mon 31 Mar
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
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
Room A
A-MOST
Opening
09:00 - 09:10
A-MOST
What is the Best Model? - A Discourse on Modeling Paradigms Used in Mod ...
09:10 - 10:30
A-MOST
Novel Algorithm to Solve the Constrained Path-based Testing Problem
11:00 - 11:30
A-MOST
CPT Manager: An Open Environment for Constrained Path-based Testing
11:30 - 12:00
A-MOST
Towards Improving Automated Testing with GraphWalker
12:00 - 12:30
A-MOST
Automata Learning for React Web Applications
14:00 - 14:30
A-MOST
Mutating Skeletons - Learning Timed Automata via Domain Knowledge
14:30 - 15:00
A-MOST
SelfBehave, Generating a Synthetic Behaviour-Driven Development Dataset ...
15:00 - 15:30
A-MOST
Model-based Testing Computer Games: Does It Work?
16:00 - 16:30
A-MOST
Discussion on AI and Testing
16:30 - 17:30
Tue 1 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
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
Room A
CCIW
Opening
09:00 - 09:10
CCIW
Improving Developer Satisfaction through focusing on problems that prov ...
11:00 - 11:20
CCIW
Shifting Gears in Continuous Integration: BMW’s Strategies for High-Vel ...
11:25 - 11:45
CCIW
Multi-Architecture Testing at Google
11:45 - 12:05
CCIW
The Art of Managing Flaky Tests at Scale
12:10 - 12:30
CCIW
Unified Testing Intelligence: Optimizing CI/CD for Distributed Enterpri ...
14:00 - 14:20
CCIW
Unlocking New Practical Advantages of Machine Learning via Generating L ...
14:25 - 14:45
CCIW
Continuous Evaluation: Using CI Techniques For Experimentation At Scale
14:45 - 15:05
CCIW
What are the biggest challenges in large scale CI/CD?
16:00 - 17:30
Wed 2 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
Room A
ICST Research Papers
A Taxonomy of Integration-relevant Faults for Microservice Testing
11:00 - 11:15
ICST Research Papers
Suspicious Types and Bad Neighborhoods- Filtering Spectra with Compiler ...
11:15 - 11:30
ICST Journal-First Papers
Summary of Automated Program Repair for Variability Bugs in Software Pr ...
11:30 - 11:45
ICST Journal-First Papers
Automated Engineering of Domain-Specific Metamorphic Testing Environments
11:45 - 12:00
ICST Industry
Speculative Testing at Google with Transition Prediction
12:00 - 12:15
ICST Research Papers
Challenges, Strategies, and Impacts: A Qualitative Study on UI Testing ...
12:15 - 12:30
ICST Industry
Accessible Smart Contracts Verification: Synthesizing Formal Models wit ...
14:00 - 14:15
ICST Industry
Evaluation of the Choice of LLM in a Multi-agent solution for GUI-test ...
14:15 - 14:30
ICST Industry
Assessing the Uncertainty and Robustness of the Laptop Refurbishing Sof ...
14:30 - 14:45
ICST Industry
FuzzE, Development of a Fuzzing Approach for Odoo's Tours Integration T ...
14:45 - 15:00
ICST Industry
Early V&V in Knowledge-Centric Systems Engineering: Advances and Benefi ...
15:00 - 15:15
ICST Industry
Practical Pipeline-Aware Regression Test Optimization for Continuous In ...
15:15 - 15:30
ICST Journal-First Papers
Promoting Open Science in Test-driven Software Experiments
16:00 - 16:15
ICST Journal-First Papers
A New Perspective on the Competent Programmer Hypothesis Through the Re ...
16:15 - 16:30
ICST Short Papers, Vision and Emerging Results
Addressing Data Leakage in HumanEval Using Combinatorial Test Design
16:30 - 16:37
ICST Short Papers, Vision and Emerging Results
Towards Refined Code Coverage: A New Predictive Problem in Software Testing
16:37 - 16:44
ICST Short Papers, Vision and Emerging Results
Weighted Call Frequency-based Fault Localization
16:44 - 16:51
ICST Short Papers, Vision and Emerging Results
Towards Cross-Build Differential Testing
16:51 - 16:58
Thu 3 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
15
30
45
12:00
15
30
45
Room A
ICST Research Papers
Improving the Readability of Automatically Generated Tests using Large ...
11:00 - 11:15
ICST Research Papers
Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Bas ...
11:15 - 11:30
ICST Research Papers
Benchmarking Open-source Large Language Models For Log Level Suggestion
11:30 - 11:45
ICST Research Papers
Understanding and Enhancing Attribute Prioritization in Fixing Web UI T ...
11:45 - 12:00
ICST Research Papers
Benchmarking Generative AI Models for Deep Learning Test Input Generation
12:00 - 12:15
ICST Short Papers, Vision and Emerging Results
Leveraging Large Language Models for Explicit Wait Management in End-to ...
12:15 - 12:22
Fri 4 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
Room A
ICST Tool Competition: UAV Testing
Opening and Introduction to the Competition
11:00 - 11:10
ICST Tool Competition: UAV Testing
Evolv-1 at the ICST 2025 Tool Competition - UAV Testing Track
11:10 - 11:20
ICST Tool Competition: UAV Testing
PALM at the ICST 2025 Tool Competition - UAV Testing Track
11:20 - 11:30
ICST Tool Competition: UAV Testing
TGen-UQ at the ICST 2025 Tool Competition - UAV Testing Track
11:30 - 11:40
ICST Tool Competition: UAV Testing
ICST Tool Competition 2025 - UAV Testing Track
11:40 - 11:50
ICST Tool Competition: UAV Testing
Closing
11:50 - 12:15
ICST Tool Competition: Self-Driving Car Testing
Opening and Introduction to the Competition
14:00 - 14:15
ICST Tool Competition: Self-Driving Car Testing
DRVN at the ICST 2025 Tool Competition – Self-Driving Cars Testing Track
14:15 - 14:25
ICST Tool Competition: Self-Driving Car Testing
CertiFail at the ICST 2025 Tool Competition – Self-Driving Car Testing ...
14:25 - 14:35
ICST Tool Competition: Self-Driving Car Testing
DETOUR at the ICST 2025 Tool Competition – Self-Driving Car Testing Track
14:35 - 14:45
ICST Tool Competition: Self-Driving Car Testing
ITS4SDC at the ICST 2025 Tool Competition – Self-Driving Car Testing Track
14:45 - 14:55
ICST Tool Competition: Self-Driving Car Testing
NN-SDCTest at the ICST 2025 Tool Competition – Self-Driving Car Testing ...
14:55 - 15:05
ICST Tool Competition: Self-Driving Car Testing
ICST Tool Competition 2025 – Self-Driving Car Testing Track
15:05 - 15:15
ICST Tool Competition: Self-Driving Car Testing
Closing
15:15 - 15:30
x
Wed 23 Apr 01:29