International Conference on Software Testing, Verification and Validation

ICST

CORE rank

CORE rank (raw)

Fields of research

Software Engineering

Papers indexed

2,255

2008–2026

Best Software Engineering conferences

Papers per year

2008161 peak2026

Most published authors

ICST papers

2,255 records sourced from DBLP. Search titles, filter by year, sort by recency.

Year	Title	Authors
2013	On Use of Coverage Metrics in Assessing Effectiveness of Combinatorial Test Designs.	Jacek Czerwonka
2013	Behaviour Abstraction Coverage as Black-Box Adequacy Criteria.	Hernan Czemerinski, Vctor A. Braberman, Sebastin Uchitel
2013	Towards Better Testing of fUML Models.	Florin Craciun, Simona Motogna, Ioan Lazar
2013	Conditional-Based Refactorings and Fault-Proneness: An Empirical Study.	Steve Counsell, Matt Gatrell, Robert M. Hierons, Alessandro Murgia, Roberto Tonelli, Michele Marchesi, Giulio Concas
2013	Business Process Compliance via Security Validation as a Service.	Luca Compagna, Pierre Guilleminot, Achim D. Brucker
2013	Systematic Testing for Detecting Concurrency Errors in Erlang Programs.	Maria Christakis, Alkis Gotovos, Konstantinos Sagonas
2013	Analysis and Prediction of Mandelbugs in an Industrial Software System.	Gabriella Carrozza, Domenico Cotroneo, Roberto Natella, Roberto Pietrantuono, Stefano Russo
2013	Strategies Comparison of Test Generation from UML Using SMT Solver.	Jrme Cantenot, Fabrice Ambert, Fabrice Bouquet
2013	A Case Study of Automating User Experience-Oriented Performance Testing on Smartphones.	Gerardo Canfora, Francesco Mercaldo, Corrado Aaron Visaggio, Mauro D'Angelo, Antonio Furno, Carminantonio Manganelli
2013	Multi-objective Cross-Project Defect Prediction.	Gerardo Canfora, Andrea De Lucia, Massimiliano Di Penta, Rocco Oliveto, Annibale Panichella, Sebastiano Panichella
2013	Combinatorial Testing for Feature Models Using CitLab.	Andrea Calvagna, Angelo Gargantini, Paolo Vavassori
2013	Combinatorial Interaction Testing with CITLAB.	Andrea Calvagna, Angelo Gargantini, Paolo Vavassori
2013	Constraints in Software Testing, Verification and Analysis CSTVA'2013.	Cristian Cadar, Frdric Dadeau
2013	Security Testing with Fault-Models and Properties.	Matthias Bchler
2013	Towards Tool-Support for Test Case Selection in Manual Regression Testing.	Georg Buchgeher, Christian Ernstbrunner, Rudolf Ramler, Michael Lusser
2013	Model-Based Testing of Cryptographic Components - Lessons Learned from Experience.	Julien Botella, Fabrice Bouquet, Jean-Francois Capuron, Franck Lebeau, Bruno Legeard, Florence Schadle
2013	An Input Space Modeling Methodology for Combinatorial Testing.	Mehra N. Borazjany, Laleh Shikh Gholamhossein Ghandehari, Yu Lei, Raghu Kacker, Rick Kuhn
2013	VERA: A Flexible Model-Based Vulnerability Testing Tool.	Abian Blome, Martn Ochoa, Keqin Li, Michele Peroli, Mohammad Torabi Dashti
2013	XACMUT: XACML 2.0 Mutants Generator.	Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti
2013	A Toolchain for Designing and Testing XACML Policies.	Antonia Bertolino, Marianne Busch, Said Daoudagh, Nora Koch, Francesca Lonetti, Eda Marchetti
2013	A Query Driven Security Testing Framework for Enterprise Network.	Padmalochan Bera, Soumya Kanti Ghosh
2013	Unit Testing Tool Competition.	Sebastian Bauersfeld, Tanja E. J. Vos, Kiran Lakhotia, Simon M. Poulding, Nelly Condori-Fernndez
2013	GUIdiff - A Regression Testing Tool for Graphical User Interfaces.	Sebastian Bauersfeld
2013	Symbolic Path-Oriented Test Data Generation for Floating-Point Programs.	Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb
2013	Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism.	Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene

1,626–1,650 of 2,255← Previous Next →

Comparable venues

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