posted by user: petermkruse || 16030 views || tracked by 63 users: [display]

ICST 2014 : International Conference on Software Testing, Verification, and Validation


Conference Series : International Conference on Software Testing, Verification, and Validation
When Mar 31, 2014 - Apr 4, 2014
Where Cleveland, Ohio, USA
Submission Deadline Sep 23, 2013
Notification Due Dec 22, 2013
Categories    software testing   verification   validation

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

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

Related Resources

ICST 2018   The 11th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2018)
VMCAI 2019   International Conference on Verification, Model Checking, and Abstract Interpretation
MVV 2018   IEEE International Workshop on Model-Based Verification & Validation
TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
FSEN 2019   Eighth International Conference on Fundamentals of Software Engineering
VVASS 2018   IEEE International Workshop on Verification and Validation of Adaptive Software Systems
FTSCS 2018   6th International Workshop on Formal Techniques for Safety-Critical Systems
VALID 2018   The Tenth International Conference on Advances in System Testing and Validation Lifecycle
BES 2018   3th International Conference on Biomedical Engineering and Science
ISOLA 2018   8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation