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
2020CDST: A Toolkit for Testing Cockpit Display Systems.Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2020Towards a unified catalog of attributes to guide industry in software testing technique selection.talo Santos, Silvana Morita Melo, Paulo Sergio Lopes de Souza, Simone R. S. Souza
2020Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application.Jan Richter, Bestoun S. Ahmed, Miroslav Bures, Cleber R. Rosa Junior
2020Can Learning Formal Specification Be Fun? - Experience and Perspective.I. S. W. B. Prasetya, Craig Q. H. D. Leek, Roan Oosenbrug, Petar Kostic, Mike de Vries
2020A Preliminary Report on Hands-On and Cross-Course Activities in a College Software Testing Course.Upsorn Praphamontripong, Mark Floryan, Ryan Ritzo
2020Agent-based Testing of Extended Reality Systems.Rui Prada, I. S. W. B. Prasetya, Fitsum Meshesha Kifetew, Frank Dignum, Tanja E. J. Vos, Jason Lander, Jean-Yves Donnart, Alexandre Kazmierowski, Joseph Davidson, Pedro M. Fernandes
2020Automatic exploratory performance testing using a discriminator neural network.Ivan Porres, Tanwir Ahmad, Hergys Rexha, Sbastien Lafond, Dragos Truscan
2020SiMut: Exploring Program Similarity to Support the Cost Reduction of Mutation Testing.Alessandro Viola Pizzoleto, Fabiano Cutigi Ferrari, Lucas Diniz Dallilo, Jeff Offutt
2020Incorporating Testing Topics in an Object-Oriented Programming Course.Rowland Pitts
2020Parallelization of Classical Numerical optimization in Quantum Variational Algorithms.Marco Pistoia, Peng Liu, Chun-Fu (Richard) Chen, Shaohan Hu, Stephen P. Wood
2020AFLNET: A Greybox Fuzzer for Network Protocols.Van-Thuan Pham, Marcel Bhme, Abhik Roychoudhury
2020Automated security testing of Android applications for secure mobile development.Francisco Palma, Nuno Realista, Carlos Serro, Lus Nunes, Joo Oliveira, Ana de Almeida
2020Optimizing decision making in concolic execution using reinforcement learning.Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu
2020Techniques to Have a Common Understanding of Test Aspects among Test Team Members.Tomohiro Odan, Shizuka Ban, Hiroki Iseri, Kumiko Iseri, Akiharu Satoh
2020Conformance Testing in UPPAAL: A diabolic approach.Emil J. Njor, Florian Lorber, Nikolaj I. Schmidt, Sebastian R. Petersen
2020Toward an Encoding Approach to Interaction-based Test Suite Minimization.Kohei Nishino, Takashi Kitamura, Tomoji Kishi, Cyrille Artho
2020Using mutation testing to measure behavioural test diversity.Francisco Gomes de Oliveira Neto, Felix Dobslaw, Robert Feldt
2020Session-Based Recommender Systems for Action Selection in GUI Test Generation.Varun Nayak, Daniel Kraus
2020On the Industrial Applicability of Augmented Testing: An Empirical Study.Michel Nass, Emil Algroth, Robert Feldt
2020Anomaly Analyses to Guide Software Testing Activity.Allan Mori
2020Poster: Performance Testing Driven by Reinforcement Learning.Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Bjrn Lisper
2020Optimization of automated executions based on integration test configurations of embedded software.Masashi Mizoguchi, Takahiro Iida, Toru Irie
2020Prioritizing Runtime Verification Violations.Breno Miranda, Igor Lima, Owolabi Legunsen, Marcelo d'Amorim
2020Complex Software Testing Analysis using International Standards.Satoshi Masuda, Yasuharu Nishi, Kazuhiro Suzuki
2020Metamorphic Security Testing for Web Systems.Phu X. Mai, Fabrizio Pastore, Arda Goknil, Lionel C. Briand
726750 of 2,255← PreviousNext →

Comparable venues

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