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
2012Using Control Charts for Detecting and Understanding Performance Regressions in Large Software.Thanh H. D. Nguyen
2012Automated Performance Model Construction through Event Log Analysis.Ahmad Mizan, Greg Franks
2012Supporting Test Suite Evolution through Test Case Adaptation.Mehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezz
2012From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain.Marcus Mews, Jaroslav Svacina, Stephan Weileder
2012Verified Operational Patterns with Graph Transformation.Tams Mszros, Tihamer Levendovszky
2012Peer-to-Peer Load Testing.Jorge Augusto Meira, Eduardo Cunha de Almeida, Yves Le Traon, Gerson Suny
2012Search-Based Test Input Generation for String Data Types Using the Results of Web Queries.Phil McMinn, Muzammil Shahbaz, Mark Stevenson
2012Mutant Execution Cost Reduction: Through MUSIC (Mutant Schema Improved with Extra Code).Pedro Reales Mateo, Macario Polo Usaola
2012A Testing Model for Dynamic Malware Analysis Systems.Frdric Massicotte, Mathieu Couture, Hugues Normandin, Frdric Michaud
2012Enhancing Fault Localization via Multivariate Visualization.Wes Masri, Rawad Abou Assi, Fadi A. Zaraket, Nour Fatairi
2012AutoBlackTest: Automatic Black-Box Testing of Interactive Applications.Leonardo Mariani, Mauro Pezz, Oliviero Riganelli, Mauro Santoro
2012Property-Driven Software Engineering Approach.Antinisca Di Marco, Francesca Lonetti, Guglielmo De Angelis
2012An Effective Regression Testing Approach for PHP Web Applications.Aaron Marback, Hyunsook Do, Nathan Ehresmann
2012Prioritization of Test Cases Using Software Agents and Fuzzy Logic.Christoph Malz, Nasser Jazdi, Peter Ghner
2012Dynamic Shape Analysis Using Spectral Graph Properties.Muhammad Zubair Malik, Sarfraz Khurshid
2012Bounded Program Verification Using an SMT Solver: A Case Study.Tianhai Liu, Michael Nagel, Mana Taghdiri
2012Better Algorithms to Minimize the Cost of Test Paths.Nan Li, Fei Li, Jeff Offutt
2012A Smart Structured Test Automation Language (SSTAL).Nan Li
2012Combinatorial Methods for Event Sequence Testing.D. Richard Kuhn, James M. Higdon, James Lawrence, Raghu Kacker, Yu Lei
2012Test Sequence Generation from Classification Trees.Peter M. Kruse, Joachim Wegener
2012Numerical Constraints for Combinatorial Interaction Testing.Peter M. Kruse, Jrgen Bauer, Joachim Wegener
2012Isolating First Order Equivalent Mutants via Second Order Mutation.Marinos Kintis, Mike Papadakis, Nicos Malevris
2012A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation.Moonzoo Kim, Yunho Kim, Gregg Rothermel
2012Industrial Application of Concolic Testing on Embedded Software: Case Studies.Moonzoo Kim, Yunho Kim, Yoonkyu Jang
2012An Extended LLRP Model for RFID System Test and Diagnosis.Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis
1,7011,725 of 2,255← PreviousNext →

Comparable venues

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