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
2015Using decision trees to aid algorithm selection in combinatorial interaction tests generation.Angelo Gargantini, Paolo Vavassori
2015Test Suite Quality Assessment Using Model Inference Techniques.Hermann Felbinger
2015Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution.Azadeh Farzan, Andreas Holzer, Helmut Veith
2015Test driven development for device drivers and rapid hardware prototyping.Dominic Eschweiler, Volker Lindenstruth
2015Navigating Information Overload Caused by Automated Testing - a Clustering Approach in Multi-Branch Development.Nicklas Erman, Vanja Tufvesson, Markus Borg, Per Runeson, Anders Ard
2015A process to increase the model quality in the context of model-based testing.Vladimir Entin, Mathias Winder, Bo Zhang, Andreas Claus
2015Mapping software testing practice with software testing research - SERP-test taxonomy.Emelie Engstrm, Kai Petersen
2015Improving IPOG's vertical growth based on a graph coloring scheme.Feng Duan, Yu Lei, Linbin Yu, Raghu N. Kacker, D. Richard Kuhn
2015State machine flattening, a mapping study and tools assessment.Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans
2015Towards mutation analysis of Android apps.Lin Deng, Nariman Mirzaei, Paul Ammann, Jeff Offutt
2015Evaluating Symbolic Execution-Based Test Tools.Lajos Cseppento, Zoltn Micskei
2015Show Me New Counterexamples: A Path-Based Approach.Kalou Cabrera Castillos, Hlne Waeselynck, Virginie Wiels
2015Security Threat Identification and Testing.Roberto Carbone, Luca Compagna, Annibale Panichella, Serena Elisa Ponta
2015Scaled Agile Framework: Presentation and real world example.Richard Brenner, Stefan Wunder
2015Model-Based Continuous Integration Testing of Responsiveness of Web Applications.Giorgio Brajnik, Andrea Baruzzo, Sara Fabbro
2015Evaluation of the IPO-Family algorithms for test case generation in web security testing.Josip Bozic, Bernhard Garn, Dimitris E. Simos, Franz Wotawa
2015A learning-based method for detecting defective classes in object-oriented systems.Cagil Biray, Feza Buzluca
2015Sound and Quasi-Complete Detection of Infeasible Test Requirements.Sbastien Bardin, Mickal Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis, Yves Le Traon, Jean-Yves Marion
2015NUMFL: Localizing Faults in Numerical Software Using a Value-Based Causal Model.Zhuofu Bai, Gang Shu, Andy Podgurski
2015Testing AUTOSAR software with QuickCheck.Thomas Arts, John Hughes, Ulf Norell, Hans Svensson
2015Graphical editing support for QuickCheck models.Thomas Arts, Kirill Bogdanov, Alex Gerdes, John Hughes
2015If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing.Stephan Arlt, Tobias Morciniec, Andreas Podelski, Silke Wagner
2015Generating Tests for Detecting Faults in Feature Models.Paolo Arcaini, Angelo Gargantini, Paolo Vavassori
2015Rehabilitating equivalent mutants as static anomaly detectors in software artifacts.Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Paolo Vavassori
2015Behind an Application Firewall, Are We Safe from SQL Injection Attacks?Dennis Appelt, Cu Duy Nguyen, Lionel C. Briand
1,3761,400 of 2,255← PreviousNext →

Comparable venues

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