Skip to content

International Conference on Software Testing, Verification and Validation

ICST

A

CORE rank

CORE rank (raw)

A

Fields of research

Software Engineering

Papers indexed

2,255

2008–2026

Papers per year

2008161 peak2026

ICST papers

2,255 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2025Compiler Fuzzing in Continuous Integration: A Case Study on Dafny.Karnbongkot Boonriong, Stefan Zetzsche, Alastair F. Donaldson
2025Coverage Metrics for T-Wise Feature Interactions.Sabrina Bhm, Tim Jannik Schmidt, Sebastian Krieter, Tobias Pett, Thomas Thm, Malte Lochau
2025ICST Tool Competition 2025 - Self-Driving Car Testing Track.Christian Birchler, Stefan Klikovits, Mattia Fazzini, Sebastiano Panichella
2025Improving the Readability of Automatically Generated Tests Using Large Language Models.Matteo Biagiola, Gianluca Ghislotti, Paolo Tonella
2025FuzzE, Development of a Fuzzing Approach for Odoo's Tours Integration Testing Plateform.Gabriel Benoit, Franois Georis, Gry Debongnie, Benot Vanderose, Xavier Devroey
2025DRVN at the ICST 2025 Tool Competition - Self-Driving Car Testing Track.Antony Bartlett, Cynthia C. S. Liem, Annibale Panichella
2025Towards a Probabilistic Framework for Analyzing and Improving LLM-Enabled Software.Juan Manuel Baldonado, Flavia Bonomo-Braberman, Vctor A. Braberman
2025Code, Test, and Coverage Evolution in Mature Software Systems: Changes Over the Past Decade.Thomas Bailey, Cristian Cadar
2025NN-SDCTest at the ICST 2025 Tool Competition - Self-Driving Car Testing Track.Prakash Aryan, Sajad Mazraeh Khatiri
2025Introducing Black-Box Fuzz Testing for REST APIs in Industry: Challenges and Solutions.Andrea Arcuri, Alexander Poth, Olsi Rrjolli
2025DETOUR at the ICST 2025 Tool Competition - Self-Driving Car Testing Track.Paolo Arcaini, Ahmet Cetinkaya
2025A Search-Based Benchmark Generator for Constrained Combinatorial Testing Models.Paolo Arcaini, Andrea Bombarda, Angelo Gargantini
2025Suspicious Types and Bad Neighborhoods: Filtering Spectra with Compiler Information.Leonhard Applis, Matthas Pll Gissurarson, Annibale Panichella
2025The Art of Managing Flaky Tests at Scale.Oleg Andreyev
2025A Developer's Guide to Building and Testing Accessible Mobile Apps.Juan Pablo Sandoval Alcocer, Leonel Merino, Alison Fernandez-Blanco, William Ravelo-Mndez, Camilo Escobar-Velsquez, Mario Linares-Vsquez
2025Quality Assurance for LLM-RAG Systems: Empirical Insights from Tourism Application Testing.Bestoun S. Ahmed, Ludwig Otto Baader, Firas Bayram, Siri Jagstedt, Peter Magnusson
2025Using Reinforcement Learning for Security Testing: A Systematic Mapping Study.Tanwir Ahmad, Matko Butkovic, Dragos Truscan
2025Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test Generation.Azat Abdullin, Pouria Derakhshanfar, Annibale Panichella
2025Visual Spectrum-Based Fault Localization for Python Programs Based on the Differentiation of Execution Slices.Shehroz Khan, Gaadha Sudheerbabu, Bianca Elena Staicu, Tanwir Ahmad, Dragos Truscan
2025Towards Cross-Build Differential Testing.Jens Dietrich, Tim White, Valerio Terragni, Behnaz Hassanshahi
2024"No Free Lunch" when using Large Language Models to Verify Self-Generated Programs.Sol Zilberman, Betty H. C. Cheng
2024Differential Optimization Testing of Gremlin-Based Graph Database Systems.Yingying Zheng, Wensheng Dou, Lei Tang, Ziyu Cui, Jiansen Song, Ziyue Cheng, Wei Wang, Jun Wei, Hua Zhong, Tao Huang
2024FusionFL: A Statement-Level Feature Fusion Based Fault Localization Approach.Yanbo Zhang, Yawen Wang, Dongming Zhu, Wenjing Liu
2024MSGFuzzer: Message Sequence Guided Industrial Robot Protocol Fuzzing.Yang Zhang, Dongliang Fang, Puzhuo Liu, Laile Xi, Xiao Lu, Xin Chen, Shuaizong Si, Limin Sun
2024Optimizing Model-based Generated Tests: Leveraging Machine Learning for Test Reduction.Muhammad Nouman Zafar, Wasif Afzal, Eduard Paul Enoiu, Zulqarnain Haider, Inderjeet Singh
276300 of 2,255← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.