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 2014 will be invited to extend their work for possible inclusion in a special issue of Software Testing, Verification, and Reliability, a Wiley journal.

Format
----------------------
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 2014 research track accepts only full research papers.

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).

How to submit?
----------------------
Submissions will be handled via EasyChair.

Important Dates
----------------------
Paper submission September 23rd, 2013
Notification of acceptance December 22nd, 2013
Camera ready paper TBA
Conference date March 31st - April 4th, 2014