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
2012Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach.Raquel Blanco, Javier Tuya, Rubn V. Seco
2012Generating String Test Data for Code Coverage.Michael Beyene, James H. Andrews
2012Automatic XACML Requests Generation for Policy Testing.Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti
2012A Taint Based Approach for Smart Fuzzing.Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier
2012Tester Feedback Driven Fault Localization.Aritra Bandyopadhyay, Sudipto Ghosh
2012Mitigating the Effect of Coincidental Correctness in Spectrum Based Fault Localization.Aritra Bandyopadhyay
2012Effectiveness of Pair-Wise Testing for Software with Boolean Inputs.William Alton Ballance, Sergiy Vilkomir, William Jenkins
2012A Tridimensional Approach for Studying the Formal Verification of Model Transformations.Moussa Amrani, Levi Lucio, Gehan M. K. Selim, Benot Combemale, Jrgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy
2012Crawlability Metrics for Web Applications.Nadia Alshahwan, Mark Harman, Alessandro Marchetto, Roberto Tiella, Paolo Tonella
2012Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques.Stefano Di Alesio, Arnaud Gotlieb, Shiva Nejati, Lionel C. Briand
2012Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints.Bernhard K. Aichernig, Elisabeth Jbstl
2011An Empirical Study on the Relation between Dependency Neighborhoods and Failures.Thomas Zimmermann, Nachiappan Nagappan, Kim Herzig, Rahul Premraj, Laurie A. Williams
2011Protocol Security Testing with SPIN and TTCN-3.Li Zhou, Xia Yin, Zhiliang Wang
2011Inferential Checking for Mutants Modifying Database States.Chixiang Zhou, Phyllis G. Frankl
2011Introducing Test Case Derivation Techniques into Traditional Software Development: Obstacles and Potentialities.Xiaojing Zhang, Haruto Tanno, Takashi Hoshino
2011Prioritising Refactoring Using Code Bad Smells.Min Zhang, Nathan Baddoo, Paul Wernick, Tracy Hall
2011Risk-Based Security Testing in Cloud Computing Environments.Philipp Zech
2011Using Property-Based Oracles when Testing Embedded System Applications.Tingting Yu, Ahyoung Sung, Witawas Srisa-an, Gregg Rothermel
2011MOST: A Multi-objective Search-Based Testing from EFSM.Thaise Yano, Eliane Martins, Fabiano Luis de Sousa
2011On the Use of Constraints in Dynamic Slicing for Program Debugging.Franz Wotawa
2011Validating Service Value Propositions Regarding Stakeholder Preferences.Erik Wittern, Christian Zirpins
2011Requirements-Driven Testing with Behavior Trees.Marc-Florian Wendland, Ina Schieferdecker, Alain Vouffo-Feudjio
2011Simulated Restriction of Coverage Criteria on UML State Machines.Stephan Weileder, Thomas Rogenhofer
2011Looking for Patterns in Code Bad Smells Relations.Bartosz Walter, Pawel Martenka
2011Search-Based Application Security Testing: Towards a Structured Search Space.Sven Trpe
1,7761,800 of 2,255← PreviousNext →

Comparable venues

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