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
2026GraSF: Graph-based Similarity Filtering as a Preprocessing Step for SMT-based Verification of Cloud Access Policy Configuration.Tomohiro Takeda, Toshiharu Kato
2026Consistency Meets Verification: Enhancing Test Generation Quality in Large Language Models Without Ground-Truth Solutions.Hamed Taherkhani, Alireza DaghighFarsoodeh, Mohammad Chowdhury, Hung Viet Pham, Hadi Hemmati
2026A Hybrid Approach to Optimizing Build and Test Time: Marginal and Concurrent Delay Analysis.Stanislaw Swierc, Scott Yost, Ben Villa
2026KSERESNET at the ICST 2026 Tool Competition - Self-Driving Car Testing Track.Vishal Kumar Swain, Sangharatna Godboley, P. Radha Krishna, Avijit Das
2026Combinatorial Test Generation Tool for REST API with Variable-Length Arrays.Yasufumi Suzuki, Masumi Kawakami
2026Natural Adversaries: Fuzzing Autonomous Vehicles with Realistic Roadside Object Placements.Yang Sun, Haoyu Wang, Christopher M. Poskitt, Jun Sun
2026Probabilistic Greens: Enabling High Frequency Releases at Google.Abhayendra Singh, Avi Kondareddy, Sabuj Pattanayek, Tim A. D. Henderson, Ali Esmaeeli, David Ramrez Rodrguez, Laura Macaddino, Paul Diebold, Eduardo Colaco, Evelyn Price
2026Early Warning of Performance Degradation in Object Detection Models via Explainable AI.Jia Shin, Uicheon Lee, Seonah Lee
2026Poster: Comparative Study of Human and Machine level prompts for LLM driven software testing.Anand Sharma, Vivek Yelleti, Sangharatna Godboley, P. Radha Krishna
2026An Adaptive Hybrid Quantum-Classical Framework for Test Suite Minimization via Quantum Approximate Optimization Algorithm.Lakksh Sharma, Krish Sharma, Ajay Kumar
2026Observability and Fault Injection for LLM-Based Multi-Agent Systems in Software Engineering.Zahra Seyedghorban, Egor Klimov, Arie van Deursen, Annibale Panichella, Burcu Kulahcioglu Ozkan
2026DeepFix: Debugging and Fixing Machine Learning Workflow using Agentic AI.Fadel Mamar Seydou, Arnab Sharma
2026Towards LLMinating Performance Anti-Patterns in Android Apps.Rui Rua, Karim Ali
2026Systematic API Testing Through Model Checking and Executable Contracts.Ana Catarina Ribeiro, Margarida Mamede, Carla Ferreira
2026DANTE: Data-Driven Test Case Selection and Prioritization for Long-Running Test Suites.Simone Reale, Elisabetta Di Nitto, Luciano Baresi, Massimiliano Di Penta, Giovanni Quattrocchi
2026LLM2Alloy: Investigating LLM-Generated Formal Specifications for Automated Test Derivation in Production Software.Tasmim Rashid, Muhammad Zubair Malik
2026Friends or Foes? Combining Static Analysis Tools and LLMs for Vulnerability Detection.Rafael Ramires, Sarmad Bashir, Abbas Khan, Mehrdad Saadatmand, Ibria Medeiros
2026How Effective Is Coverage-Guided Fuzzing to Test Deep Learning Library APIs?Feiran Alex Qin, M. M. Abid Naziri, Hengyu Ai, Saikat Dutta, Marcelo d'Amorim
2026Constraint-Focused Benchmark of Combinatorial Testing Tools: A Practitioner's View.Sebastian Puck, Alexander Perko, David Kaufmann, Franz Wotawa, Iskra Gasparic
2026Testing Literacy for the Era of Self-Software Systems: Rethinking Software Testing Education for AI-Mediated Development.Nuno Pombo
2026Pinpointing Flakiness in Web Tests via DOM Event Analysis and LLM-based Reasoning.Yu Pei, Jeongju Sohn, Sarra Habchi, Mike Papadakis
2026Android Instrumentation Testing in Continuous Integration: Practices, Patterns, and Performance.Hamid Parsazadeh, Taher Ahmed Ghaleb, Safwat Hassan
2026Developer vs. DSpot vs. ChatGPT: A Comparative Study of JUnit Test Amplification.David Onyango Owuor, Ajay Kumar Jha
2026Feature Masking Isn't Enough: Auxiliary-Data Membership Inference on Tabular Models with Missing Features.Elran Oren, Ido Hersko, Yitschak Cahana, Asaf Shabtai, Yuval Elovici
2026Cross-Simulation Validation of an ML Surrogate for Multirotor Emergency-Landing Risk Assessment.Jinet A. Onyango, Jeongheon Seo, Changhui Bae, Euteum Choi, Seongjin Lee
2650 of 2,255← PreviousNext →

Comparable venues

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