posted by organizer: haroonmalik1 || 18284 views || tracked by 50 users: [display]

ICST 2016 : IEEE International Conference on Software Testing, Verification and Validation (ICST) 2016

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Software Testing, Verification, and Validation
 
Link: http://www.cs.uic.edu/~icst2016/
 
When Apr 10, 2016 - Apr 15, 2016
Where Chicago
Submission Deadline Oct 23, 2015
Notification Due Dec 22, 2015
Categories    computer science   software testing   software engineering
 

Call For Papers

Welcome to IEEE International Conference on Software Testing,
Verification and Validation (ICST) 2016 in beautiful Chicago!

We invite you to contribute to and attend the IEEE International Conference on Software Testing, Verification and Validation (ICST) 2016! Our focus for 2016 is to show that software testing, V&V can be applied to complex heterogeneous distributed software systems. A multiplicity of various approaches, algorithms and techniques have been developed by the ICST and the rest of software engineering community, and they can and must be applied to large-scale software applications to ensure their correctness and reliability.

ICST is the premier conference in all areas related to software testing. The development of a software system involves human judgement and, sometimes, political, legal and social processes. As a result, software testing, verification and validation includes testing, inspections, safety certification, security, privacy and draws upon a wide spectrum of disciplines, including engineering, mathematics and also psychology. Verification and validation touches all aspects of computer science and software engineering research and impacts every software practitioner.

ICST seeks to meet these challenges by bringing together researchers and practitioners for a conference that includes all aspects of software testing, verification, and validation. ICST includes research papers, industrial experience reports and presentations, tool demonstrations, and tutorials. For the research papers, ICST seeks high quality original work that has never been published and that advances the state of the art in software testing, verification and validation. For the industrial experience reports, ICST seeks papers and presentations that present real world experience from which others can benefit. Tool demonstrations are also welcome, especially those openly available for others to use. Finally, we are seeking tutorials that are relevant to both practitioners and researchers. See the specific calls for more details. Extended versions of the best papers from ICST conferences are regularly published in special editions of JSTVR.

Call For Research Track Papers

We invite the submission of high-quality papers in all areas of software testing, verification, and validation. Research papers should present original and significant work that advances the state of the art.

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

ICST 2016: Important Dates

Call For Research Track Papers
• Submission of full papers: October 23rd, 2015.
• Notification of acceptance: December 22nd, 2015.

Ph.D. Symposium
• Submission of papers: January 5th, 2016.
• Notification of acceptance: January 22nd, 2016.

Testing Tool Demo Track
• Submission of papers: January 5th, 2016.
• Notification of acceptance: January 22nd, 2016.

Workshop Proposals
• Submission of proposals: October 9, 2015.
• Notification of acceptance: October 23rd, 2015.

Tutorials And Technical Briefings
• Submission of proposals: January 8th, 2016.
• Notification of acceptance: January 25th, 2016.

Related Resources

ICST 2025   International Conference on Software Testing, Verification, and Validation
BIBC 2024   5th International Conference on Big Data, IOT and Blockchain
ICST 2024   International Conference on Software Testing, Verification, and Validation
IEEE-Ei/Scopus-ACEPE 2024   2024 IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2024) -Ei Compendex
SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques
IEEE-Ei/Scopus-SGGEA 2024   2024 Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2024) -EI Compendex
CAV 2025   37th International Conference on Computer Aided Verification
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
Ei/Scopus-ACAI 2024   2024 7th International Conference on Algorithms, Computing and Artificial Intelligence(ACAI 2024)
ISSSR 2025   The 11th IEEE International Symposium on System Security, Safety, and Reliability