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
2017Transferring State-of-the-Art Immutability Analyses: Experimentation Toolbox and Accuracy Benchmark.Benjamin Holland, Ganesh Ram Santhanam, Suresh C. Kothari
2017Defining the Phrase "Software Test Architecture" Emerging Idea.Jon D. Hagar
2017Efficient Incrementalized Runtime Checking of Linear Measures on Lists.Alex Gyori, Pranav Garg, Edgar Pek, P. Madhusudan
2017Localizing Faults in SQL Predicates.Yun Guo, Amihai Motro, Nan Li
2017Localizing and Fixing Faults in SQL Predicates.Yun Guo
2017How Good Are Your Types? Using Mutation Analysis to Evaluate the Effectiveness of Type Annotations.Rahul Gopinath, Eric Walkingshaw
2017The Theory of Composite Faults.Rahul Gopinath, Carlos Jensen, Alex Groce
2017Challenges of Operationalizing Spectrum-Based Fault Localization from a Data-Centric Perspective.Mojdeh Golagha, Alexander Pretschner
2017A Framework for Failure Diagnosis.Mojdeh Golagha
2017Impact of Education and Experience Level on the Effectiveness of Exploratory Testing: An Industrial Case Study.Ceren Sahin Gebizli, Hasan Szer
2017The Fitness Function for the Job: Search-Based Generation of Test Suites That Detect Real Faults.Gregory Gay
2017Combinatorial Interaction Testing for Automated Constraint Repair.Angelo Gargantini, Justyna Petke, Marco Radavelli
2017O!Snap: Cost-Efficient Testing in the Cloud.Alessio Gambi, Alessandra Gorla, Andreas Zeller
2017Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines.Vanderson Hafemann Fragal, Adenilso Simo, Andr Takeshi Endo, Mohammad Reza Mousavi
2017Towards a Testbed for Automotive Cybersecurity.Daniel S. Fowler, Madeline Cheah, Siraj Ahmed Shaikh, Jeremy W. Bryans
2017SAGA Toolbox: Interactive Testing of Guarded Assertions.Daniel Flemstrm, Thomas Gustafsson, Avenir Kobetski
2017Mutation Score, Coverage, Model Inference: Quality Assessment for T-Way Combinatorial Test-Suites.Hermann Felbinger, Franz Wotawa, Mihai Nica
2017Barista: A Technique for Recording, Encoding, and Running Platform Independent Android Tests.Mattia Fazzini, Eduardo Noronha de Andrade Freitas, Shauvik Roy Choudhary, Alessandro Orso
2017JavaScript: The (Un)Covered Parts.Amin Milani Fard, Ali Mesbah
2017A Comparative Study of Manual and Automated Testing for Industrial Control Software.Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Paul Pettersson
2017Accelerating Test Automation through a Domain Specific Language.Anurag Dwarakanath, Dipin Era, Aditya Priyadarshi, Neville Dubash, Sanjay Podder
2017Are Deletion Mutants Easier to Identify Manually?Vinicius H. S. Durelli, Nilton M. De Souza, Mrcio Eduardo Delamaro
2017Optimizing IPOG's Vertical Growth with Constraints Based on Hypergraph Coloring.Feng Duan, Yu Lei, Linbin Yu, Raghu N. Kacker, D. Richard Kuhn
2017Pattern-Based Usability Testing.Fernando Dias, Ana C. R. Paiva
2017Verifying Concurrent Programs Using Contracts.Ricardo J. Dias, Carla Ferreira, Jan Fiedor, Joo M. Loureno, Ales Smrcka, Diogo G. Sousa, Toms Vojnar
1,1261,150 of 2,255← PreviousNext →

Comparable venues

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