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
2021Summary of: A Federated Society of Bots for Smart Contract Testing.Emanuele Viglianisi, Mariano Ceccato, Paolo Tonella
2021Software Defects Rules Discovery.Andreea Vescan, Camelia Serban, Gloria Cerasela Crisan
2021Flaky Mutants; Another Concern for Mutation Testing.Sten Vercammen, Serge Demeyer, Markus Borg, Robbe Claessens
2021Address-Aware Query Caching for Symbolic Execution.David Trabish, Shachar Itzhaky, Noam Rinetzky
2021Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification.Leopoldo Teixeira, Breno Miranda, Henrique Reblo, Marcelo d'Amorim
2021Modeling with Mocking.Jouke Stoel, Tijs van der Storm, Jurgen J. Vinju
2021Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types.Daniil Stepanov, Marat Akhin, Mikhail A. Belyaev
2021Summary of: Adaptive Metamorphic Testing with Contextual Bandits.Helge Spieker, Arnaud Gotlieb
2021Assisting Bug Report Assignment Using Automated Fault Localisation: An Industrial Case Study.Jeongju Sohn, Gabin An, Jingun Hong, Dongwon Hwang, Shin Yoo
2021Prut4j: Protocol Unit Testing fo(u)r Java.Florian Joost Slob, Sung-Shik Jongmans
2021Inducing Subtle Mutations with Program Repair.Florian Schwander, Rahul Gopinath, Andreas Zeller
2021COSMO: Code Coverage Made Easier for Android.Andrea Romdhana, Mariano Ceccato, Gabriel Claudiu Georgiu, Alessio Merlo, Paolo Tonella
2021AI-based Test Automation: A Grey Literature Analysis.Filippo Ricca, Alessandro Marchetto, Andrea Stocco
2021An Agent-based Architecture for AI-Enhanced Automated Testing for XR Systems, a Short Paper.I. S. W. B. Prasetya, Samira Shirzadehhajimahmood, Saba Gholizadeh Ansari, Pedro M. Fernandes, Rui Prada
2021A Search-Based Testing Framework for Deep Neural Networks of Source Code Embedding.Maryam Vahdat Pour, Zhuo Li, Lei Ma, Hadi Hemmati
2021Online GANs for Automatic Performance Testing.Ivan Porres, Hergys Rexha, Sbastien Lafond
2021Random Selection Might Just be Indomitable.Rowland Pitts
2021Automatic Equivalent Mutants Classification Using Abstract Syntax Tree Neural Networks.Samuel Peacock, Lin Deng, Josh Dehlinger, Suranjan Chakraborty
2021RiverFuzzRL - an open-source tool to experiment with reinforcement learning for fuzzing.Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu
2021STILE: a Tool for Parallel Execution of E2E Web Test Scripts.Dario Olianas, Maurizio Leotta, Filippo Ricca, Matteo Biagiola, Paolo Tonella
2021Enabling Fast Exploration and Validation of Thermal Dissipation Requirements for Heterogeneous SoCs.Joel hrling, Dragos Truscan, Sbastien Lafond
2021Effectively Sampling Higher Order Mutants Using Causal Effect.Saeyoon Oh, Seongmin Lee, Shin Yoo
2021Boosted Exploratory Test Architecture: Coaching Test Engineers with Word Similarity.Yasuharu Nishi, Yusuke Shibasaki
2021Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods.Amirfarhad Nilizadeh, Gary T. Leavens, Xuan-Bach Dinh Le, Corina S. Pasareanu, David R. Cok
2021Process Mining on a Robotic Mechanism.Cristina Nicoleta Turcanu
626650 of 2,255← PreviousNext →

Comparable venues

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