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
2017A Process for Sound Conformance Testing of Cyber-Physical Systems.Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Augusto Sampaio, Mohammad Reza Mousavi, Masoumeh Taromirad
2017A Test Case Recommendation Method Based on Morphological Analysis, Clustering and the Mahalanobis-Taguchi Method.Hirohisa Aman, Takashi Nakano, Hideto Ogasawara, Minoru Kawahara
2017Overview of the ICST International Software Testing Contest.Emil Algroth, Shinsuke Matsuki, Tanja E. J. Vos, Kinji Akemine
2017A Selection Method for Black Box Regression Testing with a Statistically Defined Quality Level.Ibrahim Alagz, Thomas Herpel, Reinhard German
2017Recovering Semantic Traceability Links between APIs and Security Vulnerabilities: An Ontological Modeling Approach.Sultan S. Al-Qahtani, Ellis E. Eghan, Juergen Rilling
2017Enhancing Trust - Software Vulnerability Analysis Framework.Sultan S. Al-Qahtani
2017Information Needs for Validating Evolving Software Systems: An Exploratory Study at Google.Abdullah Al-Nayeem, Krzysztof Ostrowski, Sebastian Pueblas, Christophe Restif, Sai Zhang
2017Statistical Model Checking Meets Property-Based Testing.Bernhard K. Aichernig, Richard Schumi
2017Property-Based Testing with External Test-Case Generators.Bernhard K. Aichernig, Silvio Marcovic, Richard Schumi
2017Applying Mutation Analysis on Kernel Test Suites: An Experience Report.Iftekhar Ahmed, Carlos Jensen, Alex Groce, Paul E. McKenney
2016Semantic Testing of Interactive Applications.Daniele Zuddas
2016Predicting Testability of Concurrent Programs.Tingting Yu, Wei Wen, Xue Han, Jane Huffman Hayes
2016A Study on the Effectiveness of Test-Categories Based Test Analysis.Tsuyoshi Yumoto, Tohru Matsuodani, Kazuhiko Tsuda
2016An Empirical Study on Detecting and Fixing Buffer Overflow Bugs.Tao Ye, Lingming Zhang, Linzhang Wang, Xuandong Li
2016Analyzing Minimal Failure-Causing Schemas in Siemens Suite.Chiya Xu, Yuanchao Qi, Ziyuan Wang, Weifeng Zhang
2016Self-Healing Cloud Applications.Rui Xin
2016A Framework for Monkey GUI Testing.Thomas Wetzlmaier, Rudolf Ramler, Werner Putschgl
2016Should We Care about "Don't Care" Testing Inputs?: Empirical Investigation of Pair-Wise Testing.Sergiy Vilkomir, Galen Pennell
2016Pairwise Coverage-Based Testing with Selected Elements in a Query for Database Applications.Koji Tsumura, Hironori Washizaki, Yoshiaki Fukazawa, Keishi Oshima, Ryota Mibe
2016MuVM: Higher Order Mutation Analysis Virtual Machine for C.Susumu Tokumoto, Hiroaki Yoshida, Kazunori Sakamoto, Shinichi Honiden
2016Using Petri Nets to Test Concurrent Behavior of Web Applications.Sunitha Thummala, Jeff Offutt
2016Relating Code Coverage, Mutation Score and Test Suite Reducibility to Defect Density.Dvid Tengeri, Lszl Vidcs, rpd Beszdes, Judit Jsz, Gerg Balogh, Bla Vancsics, Tibor Gyimthy
2016Systematic Analysis of Practical Issues in Test Automation for Communication Based Systems.Nikolay Tcholtchev, Martin A. Schneider, Ina Schieferdecker
2016Dynamic Integration Test Selection Based on Test Case Dependencies.Sahar Tahvili, Mehrdad Saadatmand, Stig Larsson, Wasif Afzal, Markus Bohlin, Daniel Sundmark
2016Properties of Effective Metrics for Coverage-Based Statistical Fault Localization.Shih-Feng Sun, Andy Podgurski
1,1761,200 of 2,255← PreviousNext →

Comparable venues

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