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
2015Industry-academia collaboration in software testing: An overview of TAIC PART 2015.Nadia Alshahwan, Michael Felderer, Rudolf Ramler
2015U-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems.Shaukat Ali, Tao Yue
2015Conceptualization and Evaluation of Component-Based Testing Unified with Visual GUI Testing: An Empirical Study.Emil Algroth, Zebao Gao, Rafael Alves Paes de Oliveira, Atif M. Memon
2015On the Industrial Applicability of TextTest: An Empirical Case Study.Emil Algroth, Geoffrey Bache, Emily Bache
2015Towards generation of adaptive test cases from partial models of determinized timed automata.Bernhard K. Aichernig, Florian Lorber
2015Automated testing of IDS rules.Zeeshan Afzal, Stefan Lindskog
2015Generating Succinct Test Cases Using Don't Care Analysis.Cuong Nguyen, Hiroaki Yoshida, Mukul R. Prasad, Indradeep Ghosh, Koushik Sen
2014Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps.Razieh Nokhbeh Zaeem, Mukul R. Prasad, Sarfraz Khurshid
2014SimLatte: A Framework to Support Testing for Worst-Case Interrupt Latencies in Embedded Software.Tingting Yu, Witawas Srisa-an, Myra B. Cohen, Gregg Rothermel
2014ArbitCheck: A Highly Automated Property-Based Testing Tool for Java.Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden
2014Test Suite Prioritization by Switching Cost.Huayao Wu, Changhai Nie, Fei-Ching Kuo
2014System Level Combinatorial Testing in Practice - The Concurrent Maintenance Case Study.Paul A. Wojciak, Rachel Tzoref-Brill
2014Applying Pattern-Based Graphical Validation Rules to Business Process Models.Sren Witt, Sven Feja, Andreas Speck
2014Impediments for Automated Testing - An Empirical Analysis of a User Support Discussion Board.Kristian Wiklund, Daniel Sundmark, Sigrid Eldh, Kristina Lundqvist
2014An Evaluation of Model-Based Testing in Embedded Applications.Stephan Weileder, Holger Schlingloff
2014Using Combinatorial Approaches for Testing Mobile Applications.Sergiy Vilkomir, Brandi Amstutz
2014Generating Test Data to Distinguish Conjunctive Queries with Equalities.Preetham Vemasani, Alexander Brodsky, Paul Ammann
2014Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring.Simon Varvaressos, Kim Lavoie, Alexandre Blondin Mass, Sbastien Gaboury, Sylvain Hall
2014Semi-automatic Incompatibility Localization for Re-engineered Industrial Software.Susumu Tokumoto, Kazunori Sakamoto, Kiyofumi Shimojo, Tadahiro Uehara, Hironori Washizaki
2014A DSL for Deployment and Testing in the Cloud.Adrien Thiery, Thomas Cerqueus, Christina Thorpe, Gerson Suny, John Murphy
2014Towards a Taxonomy for Simulink Model Mutations.Matthew Stephan, Manar H. Alalfi, James R. Cordy
2014Functional Dependence and Equivalence Class Factors in Combinatorial Test Designs.George B. Sherwood
2014Model Dependent Test Coverage Variabilities.Christian Schwarzl, Harald Brandl
2014Model-Based Exploratory Testing: A Controlled Experiment.Christopher Schaefer, Hyunsook Do
2014Extracting the Combinatorial Test Parameters and Values from UML Sequence Diagrams.Preeti Satish, Arinjita Paul, Krishnan Rangarajan
1,4011,425 of 2,255← PreviousNext →

Comparable venues

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