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
2026SLS-Fuzz: Large Language Model based Self Learned Seeder for efficient Fuzzing.Sangharatna Godboley, Darshan Lohiya, Monika Rani Golla, P. Radha Krishna
2026Comp-AFL: Towards Complete Fuzzing.Sangharatna Godboley, Kanika Gupta, Monika Rani Golla, P. Radha Krishna
2026Towards Counterfactual Explanation and Assertion Inference for CPS Debugging.Zaid Ghazal, Hadiza Umar Yusuf, Khouloud Gaaloul
2026RIVER: An eBPF-based Runtime Verification Platform for Cyber-Physical Systems.Dario Facchinetti, Matthew Rossi, Zhenya Zhang, Stefano Paraboschi, Paolo Arcaini
2026RAVEN: Mining Defensive Patterns in Ethereum via Semantic Transaction Revert Invariants Categories.Mojtaba Eshghie, Melissa Mazura, Alexandre Bartel
2026Test Design and Review Argumentation in AI-Assisted Test Generation.Eduard Paul Enoiu, Robert Feldt
2026How Effective are Coverage- and Diversity-Based Test Selection at Killing Stubborn Mutants?Islam T. Elgendy, Robert M. Hierons, Phil McMinn
2026Automatic GUI testing of Android applications based on Multi-Agent Reinforcement Learning.Kazuki Dodo, Shingo Takada
2026Resource optimization in distributed systems for SAP HANA CI workloads.Iva Dobreva, Hanyoung Yoo, Christoph Heer, Stephan Kraft
2026An Empirical Assessment of Copilot's Defect Prediction Capabilities in Code Reviews.Charis Dimopoulou, Fabrizio Pastore
2026Automated REST API Black-box Test Generation in Practice: An Experience Report from Industry.Davide Corradini, Seung Yeob Shin, Domenico Bianculli
2026STARouter: Internal State based LLM Router for Software Testing Tasks.Hyunjoon Cho, Shin Yoo
2026An Activation Property-Based Framework for Efficient Neural Network Verification.Seunghyun Chae
2026Automated Reproduction of Android Application Bugs with LLMs: Are We There Yet?Dennis Carey, Karim Elish, Paniz Abedin
2026XPJudge: Explanation-Aware Pairwise Judging for Cost-Effective Code LLM Selection.Yasmine Ben Braiek, Houssem Ben Braiek, Foutse Khomh
2026CTWedgeV: SMT-Based Validation of Combinatorial Test Suites.Andrea Bombarda, Angelo Gargantini
2026GRANDSLAM: Linearly Scalable Model Synthesis.Alexander Boll
2026Keynote Talk: Adversarial Benchmarking An Urgent Call for a Stronger Signal of Technological Progress.Marcel Bhme
2026Embedding-based Diversity Mapping for Test Generator Selection and Input Prioritization in Grammar-based Testing.Shifat Sahariar Bhuiyan, Nargiz Humbatova, Paolo Tonella
2026Combining Input Constraints with Execution Goals.Leon Bettscheider, Marius Smytzek, Andreas Zeller
2026Real-World Fault Detection for C-Extended Python Projects with Automated Unit Test Generation.Lucas Berg, Lukas Krodinger, Stephan Lukasczyk, Annibale Panichella, Gordon Fraser, Wim Vanhoof, Xavier Devroey
2026Toward Live Noise Fingerprinting for Discrepancy Analysis in Quantum Software Engineering.Avner Bensoussan, Elena Chachkarova, Karine Even-Mendoza, Sophie Fortz, Vasileios Klimis, Mohammad Reza Mousavi
2026When Less Is More: Monolingual Fine-Tuning of Language Models for Industrial C# Code Review.Igli Begolli, Meltem Aksoy, Daniel Neider
2026Efficient Software Security Evaluation: A Human-in-the-Loop Approach.Christian Banse, Immanuel Kunz, Alexander Kchler, Leutrim Shala, Konrad Weiss, Maximilian Kaul
2026Improving Dynamic Specification Inference with LLM-Generated Counterexamples.Agustn Balestra, Agustn Nolasco, Facundo Molina, Diego Garbervetsky, Renzo Degiovanni, Nazareno Aguirre
101125 of 2,255← PreviousNext →

Comparable venues

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