ICST 2025 – Proceedings

2025 IEEE Conference on Software Testing, Verification and Validation (ICST), March 31 – April 4, 2025, Naples, Italy

Frontmatter

Technical-Research Track

Detecting and Evaluating Order-Dependent Flaky Tests in JavaScript
Negar Hashemi, Amjed Tahir, Shawn Rasheed, August Shi, and Rachel Blagojevic
(Massey University, New Zealand; UCOL, New Zealand; University of Texas at Austin, USA)
Article: icst25main-p20-p (type: Full Paper) doi:

The Impact of List Reduction for Language Agnostic Test Case Reducers
Tobias Heineken and Michael Philippsen
(Friedrich-Alexander University Erlangen-Nürnberg, Germany)
Article: icst25main-p21-p (type: Full Paper) doi:

Hybrid Equivalence/Non-equivalence Testing
Laboni Sarker and Tevfik Bultan
(University of California at Santa Barbara, USA)
Article: icst25main-p26-p (type: Full Paper) doi:

Metamorphic Testing for Pose Estimation Systems
Matias Duran, Thomas Laurent, Ellen Rushe, and Anthony Ventresque
(SFI Lero, Ireland; Trinity College Dublin, Ireland; Dublin City University, Ireland)
Article: icst25main-p39-p (type: Full Paper) doi:

Mutation-Based Fuzzing of the Swift Compiler with Incomplete Type Information
Sarah Canto Hyatt and Kyle Dewey
(University of California at Santa Barbara, USA; California State University, USA)
Article: icst25main-p40-p (type: Full Paper) doi:

Turbulence: Systematically and Automatically Testing Instruction-Tuned Large Language Models for Code
Shahin Honarvar, Mark van der Wilk, and Alastair F. Donaldson
(Imperial College London, UK; University of Oxford, UK)
Article: icst25main-p59-p (type: Full Paper) doi:

An Empirical Study of Web Flaky Tests: Understanding and Unveiling DOM Event Interaction Challenges
Yu Pei, Jeongju Sohn, and Mike Papadakis
(University of Luxembourg, Luxembourg; Kyungpook National University, South Korea)
Article: icst25main-p61-p (type: Full Paper) doi:

Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
Avishree Khare, Saikat Dutta, Ziyang Li, Alaia Solko-Breslin, Rajeev Alur, and Mayur Naik
(University of Pennsylvania, USA; Cornell University, USA)
Article: icst25main-p64-p (type: Full Paper) doi:

ADGE: Automated Directed GUI Explorer for Android Applications
Yue Jiang, Xiaobo Xiang, Qingli Guo, Qi Gong, and Xiaorui Gong
(University of Chinese Academy of Sciences, China; Institute of Information Engineering at Chinese Academy of Sciences, Beijing, China; Singular Security Lab, Beijing, China)
Article: icst25main-p65-p (type: Full Paper) doi:

Multi-project Just-in-Time Software Defect Prediction Based on Multi-task Learning for Mobile Applications
Feng Chen, Yuxin Ke, Xin Liu, and Qingjie Wei
(Chongqing University of Posts and Telecommunications, China)
Article: icst25main-p69-p (type: Full Paper) doi:

A Taxonomy of Integration-Relevant Faults for Microservice Testing
Lena Gregor, Anja Hentschel, Leon Kastner, and Alexander Pretschner
(TU Munich, Germany; Siemens, Germany)
Article: icst25main-p73-p (type: Full Paper) doi:

Benchmarking Image Perturbations for Testing Automated Driving Assistance Systems
Stefano Carlo Lambertenghi, Hannes Leonhard, and Andrea Stocco
(TU Munich, Germany; fortiss, Germany)
Article: icst25main-p84-p (type: Full Paper) doi:

Benchmarking Generative AI Models for Deep Learning Test Input Generation
Maryam Maryam, Matteo Biagiola, Andrea Stocco, and Vincenzo Riccio
(University of Udine, Italy; USI Lugano, Switzerland; TU Munich, Germany; fortiss, Germany)
Article: icst25main-p86-p (type: Full Paper) doi:

Coverage Metrics for T-Wise Feature Interactions
Sabrina Böhm, Tim Jannik Schmidt, Sebastian Krieter, Tobias Pett, Thomas Thüm, and Malte Lochau
(University of Ulm, Germany; University of Paderborn, Germany; TU Braunschweig, Germany; Karlsruhe Institute for Technology, Germany; University of Siegen, Germany)

Info Article: icst25main-p100-p (type: Full Paper) doi:

Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test Generation
Azat Abdullin, Pouria Derakhshanfar, and Annibale Panichella
(JetBrains Research, Netherlands; Delft University of Technology, Netherlands)
Article: icst25main-p135-p (type: Full Paper) doi:

Suspicious Types and Bad Neighborhoods: Filtering Spectra with Compiler Information
Leonhard Applis, Matthías Páll Gissursarson, and Annibale Panichella
(National University of Singapore, Singapore; Chalmers University of Technology, Sweden; Delft University of Technology, Netherlands)
Article: icst25main-p142-p (type: Full Paper) doi:

Many-Objective Neuroevolution for Testing Games
Patric Feldmeier, Katrin Schmelz, and Gordon Fraser
(University of Passau, Germany)
Article: icst25main-p144-p (type: Full Paper) doi:

Differential Testing of Concurrent Classes
Valerio Terragni and Shing-Chi Cheung
(University of Auckland, New Zealand; Hong Kong University of Science and Technology, China)
Article: icst25main-p153-p (type: Full Paper) doi:

AugmenTest: Enhancing Tests with LLM-Driven Oracles
Shaker Mahmud Khandaker, Fitsum Kifetew, Davide Prandi, and Angelo Susi
(Fondazione Bruno Kessler, Italy)

Info Article: icst25main-p169-p (type: Full Paper) doi:

Impact of Large Language Models of Code on Fault Localization
Suhwan Ji, Sanghwa Lee, Changsup Lee, Yo-Sub Han, and Hyeonseung Im
(Yonsei University, South Korea; Kangwon National University, South Korea)
Article: icst25main-p199-p (type: Full Paper) doi:

Benchmarking Open-Source Large Language Models for Log Level Suggestion
Yi Wen Heng, Zeyang Ma, Zhenhao Li, Dong Jae Kim, and Tse-Hsun (Peter) Chen
(Concordia University, Canada; York University, Canada; DePaul University, USA)
Article: icst25main-p221-p (type: Full Paper) doi:

Understanding and Enhancing Attribute Prioritization in Fixing Web UI Tests with LLMs
Zhuolin Xu, Qiushi Li, and Shin Hwei Tan
(Concordia University, Canada)
Article: icst25main-p235-p (type: Full Paper) doi:

RustyRTS: Regression Test Selection for Rust
Simon Hundsdorfer, Roland Würsching, and Alexander Pretschner
(TU Munich, Germany)

Info Article: icst25main-p252-p (type: Full Paper) doi:

An Analysis of LLM Fine-Tuning and Few-Shot Learning for Flaky Test Detection and Classification
Riddhi More and Jeremy S. Bradbury
(Ontario Tech University, Canada)
Article: icst25main-p266-p (type: Full Paper) doi:

On the Energy Consumption of Test Generation
Fitsum Kifetew, Davide Prandi, and Angelo Susi
(Fondazione Bruno Kessler, Italy)

Info Article: icst25main-p306-p (type: Full Paper) doi:

Industry Track

Practical Pipeline-Aware Regression Test Optimization for Continuous Integration
Daniel Schwendner, Maximilian Jungwirth, Martin Gruber, Martin Knoche, Daniel Merget, and Gordon Fraser
(BMW Group, Germany; University of Passau, Germany)
Article: icst25ind-id23-p (type: Full Paper (10 pages)) doi:

Introducing Black-Box Fuzz Testing for REST APIs in Industry: Challenges and Solutions
Andrea Arcuri, Alexander Poth, and Olsi Rrjolli
(Kristiania University College, Norway; Oslo Metropolitan University, Norway; Volkswagen, Germany)
Article: icst25ind-id41-p (type: Full Paper (10 pages)) doi:

Integrating LLM-Based Text Generation with Dynamic Context Retrieval for GUI Testing
Juyeon Yoon, Seah Kim, Somin Kim, Sukchul Jung, and Shin Yoo
(KAIST, South Korea; Samsung Research, South Korea)
Article: icst25ind-id11-p (type: Full Paper (10 pages)) doi:

Assessing the Uncertainty and Robustness of the Laptop Refurbishing Software
Chengjie Lu, Jiahui Wu, Shaukat Ali, and Mikkel Labori Olsen
(Simula Research Laboratory, Norway; University of Oslo, Norway; Danish Technological Institute, Denmark)
Article: icst25ind-id24-p (type: Full Paper (10 pages)) doi:

Fault Localization via Fine-tuning Large Language Models with Mutation Generated Stack Traces
Neetha Jambigi, Bartosz Bogacz, Moritz Mueller, Thomas Bach, and Michael Felderer
(University of Cologne, Germany; SAP, Germany; DLR, Germany)
Article: icst25ind-id7-p (type: Full Paper (10 pages)) doi:

LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine
Erblin Isaku, Christoph Laaber, Hassan Sartaj, Shaukat Ali, Thomas Schwitalla, and Jan F. Nygård
(Simula Research Laboratory, Norway; University of Oslo, Norway; Cancer Registry of Norway, Norway; UiT The Arctic University of Norway, Norway)
Article: icst25ind-id16-p (type: Full Paper (10 pages)) doi:

Compiler Fuzzing in Continuous Integration: A Case Study on Dafny
Karnbongkot Boonriong, Stefan Zetzsche, and Alastair F. Donaldson
(Imperial College London, UK; Amazon, UK)
Article: icst25ind-id38-p (type: Full Paper (10 pages)) doi:

LLM-Based Labelling of Recorded Automated GUI-Based Test Cases
Diogo Buarque Franzosi, Emil Alégroth, and Maycel Isaac
(Blekinge Institute of Technology, Sweden; Synteda, Sweden)

Info Article: icst25ind-id20-p (type: Full Paper (10 pages)) doi:

Taming Uncertainty in Critical Scenario Generation for Testing Automated Driving Systems
Selma Grosse, Adam Molin, Dejan Ničković, Alessio Gambi, and Cristinel Mateis
(DENSO Automotive, Germany; Austrian Institute of Technology, Austria)
Article: icst25ind-id39-p (type: Full Paper (10 pages)) doi:

ML-Based Test Case Prioritization: A Research and Production Perspective in CI Environments
Md Asif Khan, Akramul Azim, Ramiro Liscano, Kevin Smith, Yee-Kang Chang, Gkerta Seferi, and Qasim Tauseef
(Ontario Tech University, Canada; IBM, United Kingdom; IBM, Canada; IBM, UK)
Article: icst25ind-id40-p (type: Full Paper (10 pages)) doi:

Evaluation of the Choice of LLM in a Multi-agent Solution for GUI-Test Generation
Stevan Tomic, Emil Alégroth, and Maycel Isaac
(Blekinge Institute of Technology, Sweden; Synteda, Sweden)
Article: icst25ind-id21-p (type: Full Paper (10 pages)) doi:

Early V&V in Knowledge-Centric Systems Engineering: Advances and Benefits in Practice
Jose Luis de la Vara, Juan Manuel Morote, Clara Ayora, Giovanni Giachetti, Luis Alonso, Roy Mendieta, David Muñoz, Ricardo Ruiz Nolasco, and Antonio González
(University of Castilla-La Mancha, Spain; Independent Researcher, Spain; Universidad de Castilla la Mancha, Spain; Universitat Politecnica de Valencia, Spain; The REUSE Company, Spain; RGB Medical Devices, Spain)
Article: icst25ind-id22-p (type: Full Paper (10 pages)) doi:

Speculative Testing at Google with Transition Prediction
Avi Kondareddy, Sushmita Azad, Abhayendra Singh, and Tim A. D. Henderson
(Google, USA; Google, UK)
Article: icst25ind-id45-p (type: Full Paper (10 pages)) doi:

FuzzE, Development of a Fuzzing Approach for Odoo’s Tours Integration Testing Plateform
Gabriel Benoit, François Georis, Géry Debongnie, Benoît Vanderose, and Xavier Devroey
(University of Namur, Belgium; Odoo, Belgium)
Article: icst25ind-id14-p (type: Full Paper (10 pages)) doi:

Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs
Jan Corazza, Ivan Gavran, Gabriela Moreira, and Daniel Neider
(TU Dortmund, Germany; Informal Systems, Austria; Informal Systems, Brazil)
Article: icst25ind-id28-p (type: Full Paper (10 pages)) doi:

A Tale from the Trenches: Applying Metamorphic and Differential Testing to Bioinformatics Software
Alexis Marsh, Myra B. Cohen, and Robert Cottingham
(Iowa State University, USA; Oak Ridge National Laboratory, USA)
Article: icst25ind-id37-p (type: Full Paper (10 pages)) doi:

CubeTesterAI: Automated JUnit Test Generation using the LLaMA Model
Daniele Gorla, Shivam Kumar, Pietro Nicolaus Roselli Lorenzini, and Alireza Alipourfaz
(Sapienza University of Rome, Italy; PCCube, Italy)
Article: icst25ind-id115-p (type: Full Paper (10 pages)) doi:

Short Papers, Vision, and Emerging Results

Leveraging Large Language Models for Explicit Wait Management in End-to-End Web Testing
Dario Olianas, Maurizio Leotta, and Filippo Ricca
(University of Genoa, Italy)
Article: icst25short-id84-p (type: Short Paper (4 pages)) doi:

Weighted Call Frequency-Based Fault Localization
Attila Szatmári, Aondowase James Orban, and Tamás Gergely
(University of Szeged, Hungary)
Article: icst25short-id82-p (type: Short Paper (4 pages)) doi:

Addressing Data Leakage in HumanEval using Combinatorial Test Design
Jeremy S. Bradbury and Riddhi More
(Ontario Tech University, Canada)
Article: icst25short-id67-p (type: Short Paper (4 pages)) doi:

Towards Cross-Build Differential Testing
Jens Dietrich, Tim White, Valerio Terragni, and Behnaz Hassanshahi
(Victoria University of Wellington, New Zealand; University of Auckland, New Zealand; Oracle Labs, Australia)
Article: icst25short-id73-p (type: Short Paper (4 pages)) doi:

Test Generation from Use Case Specifications for IoT Systems: Custom, LLM-Based, and Hybrid Approaches
Zacharie Chenail-Larcher, Jean Baptiste Minani, and Naouel Moha
(ÉTS Montréal, Canada; Concordia University, Canada)
Article: icst25short-id76-p (type: Short Paper (4 pages)) doi:

Batch Execution of Microbenchmarks for Efficient Performance Testing
Mostafa Jangali, Kundi Yao, Yiming Tang, Diego Elias Costa, and Weiyi Shang
(University of Waterloo, Canada; Rochester Institute of Technology, USA; Concordia University, Canada)
Article: icst25short-id77-p (type: Short Paper (4 pages)) doi:

Pre-trained Models for Bytecode Instructions
Donggyu Kim, Taemin Kim, Ji-ho Shin, Song Wang, Heeyoul Choi, and Jaechang Nam
(Handong Global University, South Korea; York University, Canada)

Info Article: icst25short-id86-p (type: Short Paper (4 pages)) doi:

Towards Refined Code Coverage: A New Predictive Problem in Software Testing
Carolin Brandt and Aurora Ramírez
(Delft University of Technology, Netherlands; University of Córdoba, Spain)

Info Article: icst25short-id65-p (type: Short Paper (4 pages)) doi:

EnCus: Customizing Search Space for Automated Program Repair
Seongbin Kim, Sechang Jang, Jindae Kim, and Jaechang Nam
(Handong Global University, South Korea; Seoul National University of Science and Technology, South Korea)

Info Article: icst25short-id83-p (type: Short Paper (4 pages)) doi:

Harnessing Test Call Structures for Improved Fault Localization Effectiveness
Attila Szatmári
(University of Szeged, Hungary)
Article: icst25short-id59-p (type: Short Paper (4 pages)) doi:

Improving the Comprehensibility of Generated Test Suites using Test Case Clustering
Mitchell Olsthoorn
(Delft University of Technology, Netherlands)
Article: icst25short-id71-p (type: Short Paper (4 pages)) doi:

Education Track

Black-Box Testing for Practitioners: A Case of the New ISTQB Test Analyst Syllabus
Matthias Hamburg and Adam Roman
(International Software Testing Qualifications Board, Belgium; ISTQB German Testing Board, Germany; Jagiellonian University, Poland; ISTQB Polish Testing Board, Poland)
Article: icst25edu-p29edu-p (type: Full Paper) doi:

Combining Logic and Large Language Models for Assisted Debugging and Repair of ASP Programs
Ricardo Brancas, Vasco Manquinho, and Ruben Martins
(INESC-ID, Portugal; Universidade de Lisboa, Portugal; Carnegie Mellon University, USA)
Article: icst25edu-p44edu-p (type: Full Paper) doi:

Teaching Bug Advocacy through Flipped Classroom
Andreea Galbin-Nasui and Andreea Vescan
(Babes-Bolyai University, Cluj-Napoca, Romania)
Article: icst25edu-p49edu-p (type: Full Paper) doi:

Experience Report on using Experiential Learning to Facilitate Learning of Bug Investigation Steps
Adina Moldovan, Oana Casapu, and Andreea Vescan
(Altom, Romania; Babes-Bolyai University, Cluj-Napoca, Romania)
Article: icst25edu-p50edu-p (type: Full Paper) doi:

Requirements for an Automated Assessment Tool for Learning Programming by Doing
Arthur Rump, Vadim Zaytsev, and Angelika Mader
(University of Twente, Netherlands)

Info Article: icst25edu-p51edu-p (type: Full Paper) doi:

A Tool-Assisted Training Approach for Empowering Localization and Internationalization Testing Proficiency
Maria Couto, Breno Miranda, and Kiev Gama
(Federal University of Pernambuco, Brazil)
Article: icst25edu-p54edu-p (type: Full Paper) doi:

Posters

Poster: Reporting Unique-Cause MC/DC Score using Formal Verification
Monika Rani Golla, Sangharatna Godboley, Avijit Das, and P. Krishna Radha
(NIT Warangal, India; LRDE DRDO, India)
Article: icst25posters-id197-p (type: short paper (4 pages)) doi:

Poster: Quantification of Feature-Interaction Masking in JHipster
Tim Jannik Schmidt, Sabrina Böhm, Sebastian Krieter, Thomas Thüm, and Mathieu Acher
(University of Ulm, Germany; University of Paderborn, Germany; TU Braunschweig, Germany; Univ Rennes - CNRS - Inria - IRISA - IUF, France)
Article: icst25posters-id198-p (type: short paper (4 pages)) doi:

Poster: Unit Testing Past vs. Present: Examining LLMs' Impact on Defect Detection and Efficiency
Rudolf Ramler, Philipp Straubinger, Reinhold Plösch, and Dietmar Winkler
(Software Competence Center Hagenberg, Austria; University of Passau, Germany; JKU Linz, Austria; Center for Digital Production, Austria; TU Wien, Austria)
Article: icst25posters-id200-p (type: short paper (4 pages)) doi:

Testing Tools and Data Showcase Track

Rocket: A System-Level Fuzz-Testing Framework for the XRPL Consensus Algorithm
Wishaal Kanhai, Ivar van Loon, Yuraj Mangalgi, Thijs van der Valk, Lucas Witte, Annibale Panichella, Mitchell Olsthoorn, and Burcu Kulahcioglu Ozkan
(Delft University of Technology, Netherlands)

Video Article: icst25tool-id106-p (type: Tool paper (5 pages)) doi:

Codehacks: A Dataset of Adversarial Tests for Competitive Programming Problems Obtained from Codeforces
Max Hort and Leon Moonen
(Simula Research Laboratory, Norway; BI Norwegian Business School, Norway)
Article: icst25tool-id94-p (type: Data Showcase paper (5 pages)) doi:

E2E-Loader: A Tool to Generate Performance Tests from End-to-End GUI-Level Tests
Sergio Di Meglio, Luigi Libero Lucio Starace, and Sergio Di Martino
(Federico II University of Naples, Italy)
Article: icst25tool-id109-p (type: Tool paper (5 pages)) doi:

ViMoTest: A Tool to Specify ViewModel-Based GUI Test Scenarios using Projectional Editing
Mario Fuksa, Sandro Speth, and Steffen Becker
(University of Stuttgart, Germany)

Video Article: icst25tool-id98-p (type: Tool paper (5 pages)) doi:

AMBER: AI-Enabled Java Microbenchmark Harness
Antonio Trovato, Luca Traini, Federico Di Menna, and Dario Di Nucci
(University of Salerno, Italy; University of L'Aquila, Italy)

Video Article: icst25tool-id112-p (type: Tool paper (5 pages)) doi:

Technical Briefings and Tutorials

Scenario-Based Testing with BeamNG.tech (Hands-On Training)
Chrysanthi Papamichail, David Stark, and Alessio Gambi
(BeamNG, Greece; BeamNG, UK; Austrian Institute of Technology, Austria)
Article: icst25tut-ptutorial96-p (type: Tutorial (2 Pages)) doi:

Doctoral Research

Autonomous Systems

Adversarial Testing with Reinforcement Learning
Andrea Doreste
(USI Lugano, Switzerland)
Article: icst25doc-id121-p (type: short abstract (2 pages)) doi:

A Method for Systematically Assessing the Safety of Automated Driving Systems via Simulation
Ali Güllü
(University of Tartu, Estonia)
Article: icst25doc-id124-p (type: short abstract (2 pages)) doi:

Uncertainty-Aware Autonomous Driving System Testing with Large Language Models
Jiahui Wu
(Simula Research Laboratory, Norway; University of Oslo, Norway)
Article: icst25doc-id189-p (type: short abstract (2 pages)) doi:

Web/Mobile Systems

Identifying and Mitigating Flaky Tests in JavaScript
Negar Hashemi
(Massey University, New Zealand)
Article: icst25doc-id119-p (type: short abstract (2 pages)) doi:

End-to-End Testing in Web Environments: Addressing Practical Challenges
Sergio Di Meglio
(Federico II University of Naples, Italy)
Article: icst25doc-id122-p (type: short abstract (2 pages)) doi:

Advancing Mobile UI Testing by Learning Screen Usage Semantics
Safwat Ali Khan
(George Mason University, USA)
Article: icst25doc-id186-p (type: short abstract (2 pages)) doi:

Debugging and Reliability

Enhancing Spectrum-Based Fault Localization in the Context of Reactive Programming
Aondowase James Orban
(University of Szeged, Hungary)
Article: icst25doc-id117-p (type: short abstract (2 pages)) doi:

Toward Tool-Agnostic Guidelines for Expert Debugging Strategies
Homayoun Safarpour
(University of Szeged, Hungary)
Article: icst25doc-id120-p (type: short abstract (2 pages)) doi:

On Service-to-Service Integration Testing in Microservice Systems
Lena Gregor
(TU Munich, Germany)
Article: icst25doc-id176-p (type: short abstract (2 pages)) doi:

Evaluating Correct-Consistency and Robustness in Code-Generating LLMs
Shahin Honarvar
(Imperial College London, UK)
Article: icst25doc-id188-p (type: short abstract (2 pages)) doi:

Tool Competition – Self-Driving Car Testing Track

ICST Tool Competition 2025 – Self-Driving Car Testing Track
Christian Birchler, Stefan Klikovits, Mattia Fazzini, and Sebastiano Panichella
(University of Bern, Switzerland; Zurich University of Applied Sciences, Switzerland; Johannes Kepler University Linz, Austria; University of Minnesota, USA)
Article: icst25compsdc-psdc-tool5-p (type: Tool Competition Report (4 pages including references)) doi:

DETOUR at the ICST 2025 Tool Competition – Self-Driving Car Testing Track
Paolo Arcaini and Ahmet Cetinkaya
(National Institute of Informatics, Japan; Shibaura Institute of Technology, Japan)
Article: icst25compsdc-psdc-tool1-p (type: Tool Competition Paper (2 pages including references)) doi:

DRVN at the ICST 2025 Tool Competition – Self-Driving Car Testing Track
Antony Bartlett, Cynthia Liem, and Annibale Panichella
(Delft University of Technology, Netherlands)
Article: icst25compsdc-psdc-tool2-p (type: Tool Competition Paper (2 pages including references)) doi:

ITS4SDC at the ICST 2025 Tool Competition – Self-Driving Car Testing Track
Ali Güllü, Faiz Ali Shah, and Dietmar Pfahl
(University of Tartu, Estonia)
Article: icst25compsdc-psdc-tool3-p (type: Tool Competition Paper (2 pages including references)) doi:

CertiFail at the ICST 2025 Tool Competition – Self-Driving Car Testing Track
Fasih Munir Malik and Sajad Mazraeh Khatiri
(University of Bern, Switzerland)
Article: icst25compsdc-psdc-tool4-p (type: Tool Competition Paper (2 pages including references)) doi:

NN-SDCTest at the ICST 2025 Tool Competition – Self-Driving Car Testing Track
Prakash Aryana and Sajad Khatiri
(Birla Institute of Technology and Science, India; University of Bern, Switzerland; USI Lugano, Switzerland; Zurich University of Applied Sciences, Switzerland)
Article: icst25compsdc-psdc-tool6-p (type: Tool Competition Paper (2 pages including references)) doi:

Tool Competition – Unmanned Aerial Vehicles Testing Track

ICST Tool Competition 2025 – UAV Testing Track
Sajad Khatiri, Tahereh Zohdinasab, Prasun Saurabh, Dmytro Humeniuk, and Sebastiano Panichella
(University of Bern, Switzerland; Zurich University of Applied Sciences, Switzerland; USI Lugano, Switzerland; Polytechnique Montréal, Canada)
Article: icst25compuav-puav-tool4-p (type: Tool Competition Report (4 pages including references)) doi:

Evolv-1 at the ICST 2025 Tool Competition – UAV Testing Track
Pietro Lechthaler, Davide Prandi, Fitsum Kifetew, and Angelo Susi
(Fondazione Bruno Kessler, Italy)
Article: icst25compuav-puav-tool1-p (type: Short Paper) doi:

TGen-UQ at the ICST 2025 Tool Competition – UAV Testing Track
Ali Javadi and Christian Birchler
(University of Bern, Switzerland; Zurich University of Applied Sciences, Switzerland)
Article: icst25compuav-puav-tool2-p (type: Short Paper) doi:

PALM at the ICST 2025 Tool Competition – UAV Testing Track
Shuncheng Tang, Zhenya Zhang, Ahmet Cetinkaya, and Paolo Arcaini
(University of Science and Technology of China, China; Kyushu University, Japan; Shibaura Institute of Technology, Japan; National Institute of Informatics, Japan)
Article: icst25compuav-puav-tool3-p (type: Short Paper) doi: