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
2010Repairing GUI Test Suites Using a Genetic Algorithm.Si Huang, Myra B. Cohen, Atif M. Memon
2010Supporting Test-Driven Development of Graphical User Interfaces Using Agile Interaction Design.Theodore D. Hellmann, Ali Hosseini-Khayat, Frank Maurer
2010Debug Support for Model-Based GUI Testing.Henri Heiskanen, Antti Jskelinen, Mika Katara
2010SAT Solvers for Queries over Tree Automata with Constraints.Pierre-Cyrille Ham, Vincent Hugot, Olga Kouchnarenko
2010Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem.Mark Harman, Sung Gon Kim, Kiran Lakhotia, Phil McMinn, Shin Yoo
2010A Manifesto for Higher Order Mutation Testing.Mark Harman, Yue Jia, William B. Langdon
2010Large-Scale Software Testing Environment Using Cloud Computing Technology for Dependable Parallel and Distributed Systems.Toshihiro Hanawa, Takayuki Banzai, Hitoshi Koizumi, Ryo Kanbayashi, Takayuki Imada, Mitsuhisa Sato
2010Effort Comparison for Model-Based Testing Scenarios.Baris Gldali, Michael Mlynarski, Yavuz Sancar
2010Model Based Testing and Abstract Interpretation in the Railway Signaling Context.Daniele Grasso, Alessandro Fantechi, Alessio Ferrari, Carlo Becheri, Stefano Bacherini
2010MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code.Milos Gligoric, Vilas Jagannath, Darko Marinov
2010Generating Minimal Fault Detecting Test Suites for Boolean Expressions.Gordon Fraser, Angelo Gargantini
2010Test Coverage Analysis of UML State Machines.Ricardo D. F. Ferreira, Joo C. P. Faria, Ana C. R. Paiva
2010Generating Transition Probabilities for Automatic Model-Based Test Generation.Abderrahmane Feliachi, Hlne Le Guen
2010Challenges with Software Verification and Validation Activities in the Space Industry.Robert Feldt, Richard Torkar, Ehsan Ahmad, Bilal Raza
2010Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions.Antonia Estero-Botaro, Francisco Palomo-Lozano, Inmaculada Medina-Bulo
2010An Empirical Evaluation of Regression Testing Based on Fix-Cache Recommendations.Emelie Engstrm, Per Runeson, Greger Wikstrand
2010Regression Test Selection and Product Line System Testing.Emelie Engstrm
2010Using Methods & Measures from Network Analysis for GUI Testing.Ethar Elsaka, Walaa Eldin Moustafa, Bao N. Nguyen, Atif M. Memon
2010Towards Fully Automated Test Management for Large Complex Systems.Sigrid Eldh, Joachim Brandt, Mark Street, Hans Hansson, Sasikumar Punnekkat
2010Explanation-Based Generalization of Infeasible Path.Mickal Delahaye, Bernard Botella, Arnaud Gotlieb
2010Using Mutation to Automatically Suggest Fixes for Faulty Programs.Vidroha Debroy, W. Eric Wong
2010Functional Programming Way to Interact with Software Attacks and Vulnerabilities.Violeta Damjanovic, Dragan Djuric
2010Google's Innovation Factory: Testing, Culture, and Infrastructure.Patrick Copeland
2010Overcoming Obstacles to Test-Driven Learning on Day One.John Clements, David S. Janzen
2010Semantic Mutation Testing.John A. Clark, Haitao Dan, Robert M. Hierons
2,0012,025 of 2,255← PreviousNext →

Comparable venues

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