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
2011Security Model Evolution of PHP Web Applications.Dominic Letarte, Franois Gauthier, Ettore Merlo
2011A Framework for the Automatic Correction of Constraint Programs.Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah
2011CPTEST: A Framework for the Automatic Fault Detection, Localization and Correction of Constraint Programs.Nadjib Lazaar
2011Applying Security Assurance Techniques to a Mobile Phone Application: An Initial Approach.Padmanabhan Krishnan, Sergej Hafner, Andreas Zeiser
2011Online Test Generation with PathCrawler: Tool Demo.Nikolai Kosmatov, Bernard Botella, Muriel Roger, Nicky Williams
2011Risk-Based Testing of Safety-Critical Embedded Systems Driven by Fault Tree Analysis.Johannes Kloos, Tanvir Hussain, Robert Eschbach
2011Systematic Testing of Database Engines Using a Relational Constraint Solver.Shadi Abdul Khalek, Sarfraz Khurshid
2011Model Checking a TTCAN Implementation.Daniel Keating, Allan McInnes, Michael P. Hayes
2011Dynamic Prioritization in Regression Testing.Nilam Kaushik, Mazeiar Salehie, Ladan Tahvildari, Sen Li, Mark Moore
2011How Test Organizations Adopt New Testing Practices and Methods?Jussi Kasurinen, Ossi Taipale, Kari Smolander
2011Empirically Evaluating Regression Testing Techniques: Challenges, Solutions, and a Potential Way Forward.Gregory M. Kapfhammer
2011Reconfigurable Model-Based Test Program Generator for Microprocessors.Alexander Kamkin, Eugene Kornykhin, Dmitry Vorobyev
2011An Evaluation of Mutation and Data-Flow Testing: A Meta-analysis.Sahitya Kakarla, Selina Momotaz, Akbar Siami Namin
2011Scanstud: A Methodology for Systematic, Fine-Grained Evaluation of Static Analysis Tools.Martin Johns, Moritz Jodeit
2011A Survey of Empirics of Strategies for Software Product Line Testing.Martin Fagereng Johansen, ystein Haugen, Franck Fleurey
2011Test Coverage of Data-Centric Dynamic Compositions in Service-Based Systems.Waldemar Hummer, Orna Raz, Onn Shehory, Philipp Leitner, Schahram Dustdar
2011An Analysis of OO Mutation Operators.Jingyu Hu, Nan Li, Jeff Offutt
2011Security Vulnerabilities Detection Using Model Inference for Applications and Security Protocols.Karim Hossen, Roland Groz, Jean-Luc Richier
2011Automatic Validation and Correction of Formalized, Textual Requirements.Jrg Holtmann, Jan Meyer, Markus von Detten
2011Monitoring and Testing with Case Observer Automata: An Industry Report.Anders Hessel
2011Improved Bug Reporting and Reproduction through Non-intrusive GUI Usage Monitoring and Automated Replaying.Steffen Herbold, Jens Grabowski, Stephan Waack, Uwe Bnting
2011Empirical Investigation of the Effects of Test Suite Properties on Similarity-Based Test Case Selection.Hadi Hemmati, Andrea Arcuri, Lionel C. Briand
2011Seed: An Easy-to-Use Random Generator of Recursive Data Structures for Testing.Pierre-Cyrille Ham, Cyril Nicaud
2011Refactoring as Testability Transformation.Mark Harman
2011Making the Case for MORTO: Multi Objective Regression Test Optimization.Mark Harman
1,8511,875 of 2,255← PreviousNext →

Comparable venues

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