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
2017Generic and Effective Specification of Structural Test Objectives.Michal Marcozzi, Mickal Delahaye, Sbastien Bardin, Nikolai Kosmatov, Virgile Prevosto
2017Taming Coverage Criteria Heterogeneity with LTest.Michal Marcozzi, Sbastien Bardin, Mickal Delahaye, Nikolai Kosmatov, Virgile Prevosto
2017Symbolic Complexity Analysis Using Context-Preserving Histories.Kasper Se Luckow, Rody Kersten, Corina S. Pasareanu
2017Towards Security-Aware Mutation Testing.Thomas Loise, Xavier Devroey, Gilles Perrouin, Mike Papadakis, Patrick Heymans
2017A Mechanism of Reliable and Standalone Script Generator on Android.Kuei-Chun Liu, Yu-Yu Lai, Ching-Hong Wu
2017Targeted Mutation: Efficient Mutation Analysis for Testing Non-Functional Properties.Bjrn Lisper, Birgitta Lindstrm, Pasqualina Potena, Mehrdad Saadatmand, Markus Bohlin
2017Using Semantic Similarity in Crawling-Based Web Application Testing.Jun-Wei Lin, Farn Wang, Paul Chu
2017Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems.Bruno Miguel Carvalhido Lima, Joao Carlos Pascoal Faria
2017ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications.Xiao Li, Nana Chang, Yan Wang, Haohua Huang, Yu Pei, Linzhang Wang, Xuandong Li
2017EarthCube Software Testing and Assessment Framework.Emily Law
2017Assessing and Improving the Mutation Testing Practice of PIT.Thomas Laurent, Mike Papadakis, Marinos Kintis, Christopher Henard, Yves Le Traon, Anthony Ventresque
2017Towards a Gamified Equivalent Mutants Detection Platform.Thomas Laurent, Laura Guillot, Motomichi Toyama, Ross Smith, Dan Bean, Anthony Ventresque
2017Mutation-Based Test-Case Generation with Ecdar.Kim G. Larsen, Florian Lorber, Brian Nielsen, Ulrik Nyman
2017BDTest, a System to Test Big Data Frameworks.Alexandre Langeois, Eduardo Cunha de Almeida, Anthony Ventresque
2017A Model for T-Way Fault Profile Evolution during Testing.D. Richard Kuhn, Raghu N. Kacker, Yu Lei
2017Message from the Mutation 2017 Chairs.Jens Krinke, Nan Li, Jos Miguel Rojas
2017Finding Minimum Locating Arrays Using a SAT Solver.Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
2017Coveringcerts: Combinatorial Methods for X.509 Certificate Testing.Kristoffer Kleine, Dimitris E. Simos
2017Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2017.Takashi Kitamura, Emil Algroth, Rudolf Ramler
2017Message from the TAIC PART 2017 Chairs.Takashi Kitamura, Emil Algroth, Rudolf Ramler
2017Combinatorial Methods for Modelling Composed Software Systems.Ludwig Kampel, Bernhard Garn, Dimitris E. Simos
2017FIFA: A Kernel-Level Fault Injection Framework for ARM-Based Embedded Linux System.Eunjin Jeong, Namgoo Lee, Jinhan Kim, Duseok Kang, Soonhoi Ha
2017A Search-Based Testing Approach for XML Injection Vulnerabilities in Web Applications.Sadeeq Jan, Cu D. Nguyen, Andrea Arcuri, Lionel C. Briand
2017Test Case Generation and Prioritization: A Process-Mining Approach.Andrea Janes
2017Reducing Mutants with Mutant Killable Precondition.Chihiro Iida, Shingo Takada
1,1011,125 of 2,255← PreviousNext →

Comparable venues

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