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
2008Search-based Testing using State-based Fitness.Raluca Lefticaru, Florentin Ipate
2008Functional Search-based Testing from State Machines.Raluca Lefticaru, Florentin Ipate
2008Workflow Inspector - A Test Tool for Microsoft Workflow Foundation.Alexander Lechner, Ruth Breu
2008Challenges and Solutions in Test Staff Relocations within a Software Consultancy Company.Daniel Larsson, Hkan Bertilsson, Robert Feldt
2008Testing and Validating the Quality of Specifications.Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer
2008Detecting and Repairing Inconsistencies across Heterogeneous Models.Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack
2008Statistical Sampling Based Approach to Alleviate Log Replay Testing.Ravidutta Kodre, Hadar Ziv, Debra J. Richardson
2008Pre-testing Flash Device Driver through Model Checking Techniques.Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim
2008A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs.Myoung Kim, Yoonsik Cheon
2008Detecting Security Vulnerabilities with Software Architecture Analysis Tools.Kaarina Karppinen, Mikael Lindvall, Lyly Yonkwa
2008Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation.Matthew Kaplan, Tim Klinger, Amit M. Paradkar, Avik Sinha, Clay Williams, Cemal Yilmaz
2008Checking Properties on the Control of Heterogeneous Systems.Christophe Jacquet, Dominique Marcadet
2008Testing Consequences of Grime Buildup in Object Oriented Design Patterns.Clemente Izurieta, James M. Bieman
2008Testing Processes.Anne Mette Jonassen Hass
2008Model Based Testing of System Requirements using UML Use Case Models.Bill Hasling, Helmut Goetz, Klaus Beetz
2008Automated Session Data Repair for Web Application Regression Testing.Mark Harman, Nadia Alshahwan
2008Open Problems in Testability Transformation.Mark Harman
2008A Script-Based Testbed for Mobile Software Frameworks.Walter Hargassner, Thomas Hofer, Claus Klammer, Josef Pichler, Gernot Reisinger
2008Benchmarking Testing Strategies with Tools from Mutation Analysis.Ralph Guderlei, Ren Just, Christoph Schneckenburger, Franz Schweiggert
2008Model-Based Quality Assurance of Windows Protocol Documentation.Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred L. Wurden
2008Towards Constraing-Based Local Search for Automatic Test Data Generation.Arnaud Gotlieb, Nadjib Lazaar, Yahia Lebbah
2008Strengthening Inferred Specifications using Search Based Testing.Kamran Ghani, John A. Clark
2008Traffic-aware Stress Testing of Distributed Real-Time Systems Based on UML Models in the Presence of Time Uncertainty.Vahid Garousi
2008Ordering Coverage Goals in Model Checker Based Testing.Gordon Fraser, Franz Wotawa
2008Mutation Testing for Aspect-Oriented Programs.Fabiano Cutigi Ferrari, Jos Carlos Maldonado, Awais Rashid
2,2012,225 of 2,255← PreviousNext →

Comparable venues

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