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
2011Object-Oriented Mutation Applied in Common Intermediate Language Programs Originated from C#.Anna Derezinska, Karol Kowalski
2011IPEG: Utilizing Infeasibility.Mickal Delahaye
2011Conformance Testing from Message Sequence Charts.Haitao Dan, Robert M. Hierons
2011Grey-Box Testing and Verification of Java/JML.Frdric Dadeau, Fabien Peureux
2011Mutation-Based Test Generation from Security Protocols in HLPSL.Frdric Dadeau, Pierre-Cyrille Ham, Rafik Kheddam
2011CRANE: Failure Prediction, Change Analysis and Test Prioritization in Practice - Experiences from Windows.Jacek Czerwonka, Rajiv Das, Nachiappan Nagappan, Alex Tarvo, Alex Teterev
2011Automated Refactoring for Testability.Mel Cinnide, Dermot Boyle, Iman Hemati Moghadam
2011Regression Test Selection Techniques for Test-Driven Development.Hagai Cibulski, Amiram Yehudai
2011Using semi-supervised clustering to improve regression test selection techniques.Songyu Chen, Zhenyu Chen, Zhihong Zhao, Baowen Xu, Yang Feng
2011Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems.Ajay Chander, Dinakar Dhurjati, Koushik Sen, Dachuan Yu
2011Factors Limiting Industrial Adoption of Test Driven Development: A Systematic Review.Adnan Causevic, Daniel Sundmark, Sasikumar Punnekkat
2011Scenario Based Test Generation Using Test Designer.Kalou Cabrera Castillos, Julien Botella
2011A Framework to Test Advanced Web Services Transactions.Ruben Casado, Javier Tuya, Muhammad Younas
2011Analogies and Differences between Mutation Operators for WS-BPEL 2.0 and Other Languages.Juan Boubeta-Puig, Inmaculada Medina-Bulo, Antonio Garca-Domnguez
2011Model Based Statistical Testing of Embedded Systems.Frank Bhr
2011Test Generation for X-machines with Non-terminal States and Priorities of Operations.Kirill Bogdanov
2011SoftwareHardware Hybrid Systems Verification.Neelesh Bhattacharya
2011Assessing the Impact of Using Fault Prediction in Industry.Robert M. Bell, Elaine J. Weyuker, Thomas J. Ostrand
2011Mutation Testing of "Go-Back" Functions Based on Pushdown Automata.Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa
2011Event-Based GUI Testing and Reliability Assessment Techniques - An Experimental Insight and Preliminary Results.Fevzi Belli, Mutlu Beyazit, Nevin Gler
2011Finding Software Vulnerabilities by Smart Fuzzing.Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier
2011Model Driven Mutation Applied to Adaptative Systems Testing.Alexandre Bartel, Benoit Baudry, Freddy Muoz, Jacques Klein, Tejeddine Mouelhi, Yves Le Traon
2011Alignment of Requirements Specification and Testing: A Systematic Mapping Study.Zeinab Alizadeh Barmi, Amir Hossein Ebrahimi, Robert Feldt
2011Towards a Language and Framework for Penurious Testing.Colin Atkinson, Florian Barth, Oliver Hummel, Marcus Schumacher
2011Identifying Failure-Correlated Dependence Chains.Rawad Abou Assi, Wes Masri
1,9011,925 of 2,255← PreviousNext →

Comparable venues

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