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
2022Developing multithreaded techniques and improved constraint handling for the tool CAgen.Michael Wagner, Manuel Leithner, Dimitris E. Simos, Rick Kuhn, Raghu Kacker
2022TackleTest: A Tool for Amplifying Test Generation via Type-Based Combinatorial Coverage.Rachel Tzoref-Brill, Saurabh Sinha, Antonio Abu Nassar, Victoria Goldin, Haim Kermany
2022A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing.Miguel Trinca, Joo F. Ferreira, Rui Abreu
2022A C++ implementation of the IPO algorithm.Kenya Takemura
2022Software Bug Prediction Model Based on Mathematical Graph Features Metrics.Tomohiro Takeda, Satoshi Masuda, Kazuhiko Tsuda
2022Patterns of Code-to-Test Co-evolution for Automated Test Suite Maintenance.Samiha Shimmi, Mona Rahimi
2022SUPERNOVA: Automating Test Selection and Defect Prevention in AAA Video Games Using Risk Based Testing and Machine Learning.Alexander Senchenko, Jordan Patterson, Hamman Samuel, Dan Ispir
2022Systematic Generation of XSS and SQLi Vulnerabilities in PHP as Test Cases for Static Code Analysis.Felix Schuckert, Hanno Langweg, Basel Katt
2022Win GUI Crawler: A tool prototype for desktop GUI image and metadata collection.Marko Savic, Mika Mntyl, Malick Claes
2022New Ranking Formulas to Improve Spectrum Based Fault Localization Via Systematic Search.Qusay Idrees Sarhan, Tams Gergely, rpd Beszdes
2022Monitoring Approaches for Security and Safety Analysis: Application to a Load Position System.Zujany Salazar, Ana Rosa Cavalli, Wissam Mallouli, Filip Sebek, Fatiha Zadi, Monika Ewa Rakoczy
2022Choosing a Test Automation Framework for Programmable Logic Controllers in CODESYS Development Environment.Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu
2022Automating Differential Testing with Overapproximate Symbolic Execution.Richard Rutledge, Alessandro Orso
2022IFRIT: Focused Testing through Deep Reinforcement Learning.Andrea Romdhana, Mariano Ceccato, Alessio Merlo, Paolo Tonella
2022Learning Realistic Mutations: Bug Creation for Neural Bug Detectors.Cedric Richter, Heike Wehrheim
2022Cross-Device Difference Detector for Mobile Application GUI Compatibility Testing.Yanwei Ren, Youda Gu, Zongqing Ma, Hualiang Zhu, Fei Yin
2022Prioritized Variable-length Test Cases Generation for Finite State Machines.Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed, Youcef Belkhier, Jiri Nema, Hynek Schvach
2022Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs.Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed
2022Model-Based Testing for System-Level Safety of Autonomous Underwater Robots.Sergio Quijano, Mahsa Varshosaz
2022Testing a PL/I Compiler Using Precomputation-based Program Generation.Jesse Postema, Johan Fabry, Yannick Barthol, Ana Oprescu
2022Random Mutant Selection and Equivalent Mutants Revisited.Rowland Pitts
2022Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits.Jarkko Peltomki, Ivan Porres
2022A Combinatorial Approach to Fairness Testing of Machine Learning Models.Ankita Ramjibhai Patel, Jaganmohan Chandrasekaran, Yu Lei, Raghu N. Kacker, D. Richard Kuhn
2022Evaluating Features for Machine Learning Detection of Order- and Non-Order-Dependent Flaky Tests.Owain Parry, Gregory M. Kapfhammer, Michael Hilton, Phil McMinn
2022RiverGame - a game testing tool using artificial intelligence.Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu
526550 of 2,255← PreviousNext →

Comparable venues

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