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
2015A Case Study on the Efficiency of Model-Based Testing at the European Space Agency.Stefan Mohacsi, Michael Felderer, Armin Beer
2015JSEFT: Automated Javascript Unit Test Generation.Shabnam Mirshokraie, Ali Mesbah, Karthik Pattabiraman
2015QuickChecking Static Analysis Properties.Jan Midtgaard, Anders Mller
2015Lessons learnt from using DSLs for automated software testing.Mark Micallef, Christian Colombo
2015Test generation from timed pushdown automata with inputs and outputs.Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana
2015Semantic analysis technique of logics retrieval for software testing from specification documents.Satoshi Masuda, Futoshi Iwama, Nobuhiro Hosokawa, Tohru Matsuodani, Kazuhiko Tsuda
2015WebSee: A Tool for Debugging HTML Presentation Failures.Sonal Mahajan, William G. J. Halfond
2015Detection and Localization of HTML Presentation Failures Using Computer Vision-Based Techniques.Sonal Mahajan, William G. J. Halfond
2015Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems.Florian Lorber
2015A first systematic mapping study on combinatorial interaction testing for software product lines.Roberto Erick Lopez-Herrejon, Stefan Fischer, Rudolf Ramler, Alexander Egyed
2015Mutation testing in practice using Ruby.Nan Li, Michael West, Anthony Escalona, Vinicius H. S. Durelli
2015A test automation language framework for behavioral models.Nan Li, Jeff Offutt
2015Mutating aspect-oriented models to test cross-cutting concerns.Birgitta Lindstrm, Sten F. Andler, Jeff Offutt, Paul Pettersson, Daniel Sundmark
2015Tool support for secure programming by security testing.Keqin Li, Cdric Hbert, Jan Lindemann, Michael Sauter, Holger Mack, Tom Schroer, Abhay Tiple
2015A Scalable Big Data Test Framework.Nan Li, Anthony Escalona, Yun Guo, Jeff Offutt
2015Using Multi-Locators to Increase the Robustness of Web Test Cases.Maurizio Leotta, Andrea Stocco, Filippo Ricca, Paolo Tonella
2015On model-based testing advanced GUIs.Valria Lelli, Arnaud Blouin, Benoit Baudry, Fabien Coulon
2015Classifying and Qualifying GUI Defects.Valria Lelli, Arnaud Blouin, Benoit Baudry
2015Static analysis of mutant subsumption.Bob Kurtz, Paul Ammann, Jeff Offutt
2015A Virtual Bank for Development and Testing.Daniel Kunzle, Carl Worms
2015Equivalence class verification and oracle-free testing using two-layer covering arrays.D. Richard Kuhn, Raghu N. Kacker, Yu Lei, Jose Torres-Jimenez
2015MoMut: : UML Model-Based Mutation Testing for UML.Willibald Krenn, Rupert Schlick, Stefan Tiran, Bernhard K. Aichernig, Elisabeth Jbstl, Harald Brandl
2015Supporting the Transition to an Agile Test Matrix.Robert Korosec, Roman Pfarrhofer
2015Understanding the Test Automation Culture of App Developers.Pavneet Singh Kochhar, Ferdian Thung, Nachiappan Nagappan, Thomas Zimmermann, David Lo
2015TESEM: A Tool for Verifying Security Design Pattern Applications by Model Testing.Takanori Kobashi, Masatoshi Yoshizawa, Hironori Washizaki, Yoshiaki Fukazawa, Nobukazu Yoshioka, Takao Okubo, Haruhiko Kaiya
1,3261,350 of 2,255← PreviousNext →

Comparable venues

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