Computer Society


Hosted by:

Call for Papers

The IEEE International Conference on Software Testing, Verification, and Validation (ICST) is the premier conference for research in all areas related to software quality. The ever increasing complexity, ubiquity, and dynamism of modern software systems is making software quality assurance activities, and in particular software testing and analysis, more challenging. ICST provides an ideal forum where academics, industrial researchers, and practitioners can present their latest approaches for ensuring the quality of today’s complex software systems, exchange and discuss ideas, and compare experiences. In this spirit, ICST welcomes both research papers that present high quality original work and industry reports from practitioners that present real world experiences from which others can benefit.

Topics of interest include, but are not limited to:

  • Testing theory and practice
  • Testing in globally-distributed organizations
  • Model-based testing
  • Model-driven development and testing
  • Domain specific testing, such as:
    • Security testing
    • Web-service testing
    • Database testing
    • Embedded software testing
  • Testing concurrent software
  • Testing large-scale distribute systems
  • Testing in multi-core environments
  • Validation testing
  • Quality assurance
  • Model checking
  • Metrics and Empirical studies
  • Fuzzing
  • Inspections
  • Testing and analysis tools
  • Design for testability
  • Testing education
  • Technology transfer in testing
  • Agile/iterative/incremental testing processes
  • Testing of open source and third-party software
  • Software reliability
  • Performance and QoS testing
  • Standards
  • Formal verification
  • Experience reports

Each submission will be reviewed by at least three members of the ICST Program Committee. Authors of the best papers presented at ICST 2013 will be invited to extend their work for possible inclusion in a special issue of Software Testing, Verification, and Reliability, a Wiley journal.


Research Track
We invite submission of research and technical papers that describe original and significant work in the research and practice of software testing, verification and validation. Case studies and empirical research are welcome. Papers must neither have been previously accepted for publication nor submitted in another conference or journal. The ICST 2013 research track accepts only full research papers. Short contributions (short papers) are not accepted.
Research papers must conform to the two-column IEEE conference publication format (, must be submitted in PDF format and must not exceed 10 pages (incl. references and appendix).

Industry Track
There are two paper formats: full length (ten pages) and short (four pages). Full length papers should present significant achievements and advances in industrial software testing, verification, or validation. Papers with metrics that quantify effects on time, cost, and quality are preferred. Short papers should concentrate on experience reports or discuss open problems or challenges. All contributions will receive a full program committee peer review. Accepted and presented contributions will be part of the published conference proceedings. The evaluation criteria for industry papers are based less on the originality of the technical contribution, and more on its relevance for practice soundness of the presented results, and implications for research.
Industry papers must conform to the two-column IEEE conference publication format (, must be submitted in pdf format and must not exceed 10 or 4 pages, respectively to full-length papers or short papers (incl. references and appendix). 

How to submit?

Submissions will be handled via EasyChair at

Important dates

Paper submission
September 17, 2012 (23:59:59 Honolulu, Hawaii Time)

Important, for all authors who requested an extension:

The submission deadline (September 17, midnight, Honolulu time) is firm, unfortunately, and we will not be able to grant any extension due to fairness and timing reasons. We sincerely hope that you will still be able to submit your paper to ICST 2013.

Good luck!
Benoit Baudry and Alex Orso

Notification of acceptance
December 14, 2012
Camera ready paper
January 9, 2013
Conference date March 18, 2013 - March 22, 2013