posted by user: jyotirmoy || 8760 views || tracked by 22 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Software Testing, Verification, and Validation
 
Link: http://sites.google.com/site/icst2011/call-for-papers
 
When Mar 21, 2011 - Mar 25, 2011
Where Berlin
Abstract Registration Due Sep 25, 2010
Submission Deadline Oct 1, 2010
Categories    software verification   formal verification   testing
 

Call For Papers

The IEEE International Conference on Software Testing, Verification and Validation (ICST) is the premier conference in all areas related to software quality. Software systems present unique engineering challenges to the tester, not least because they can exhibit non-determinism and emergent behaviour. No other engineering artefact is more closely intertwined with the human activity, resulting in complex hybrid systems that involve software, human judgement and, sometimes, political, legal and social processes.

As a result, software verification&validation including testing, inspections, model analysis, safety certification, etc. draws upon a wide spectrum of disciplines, including engineering, mathematics and also psychology. It touches on all aspects of computer science and Software Engineering research and impacts on almost every software practitioner. ICST seeks to meet these problems by bringing together researchers and practitioners for a conference that includes all aspects of software testing, as it is most widely construed.

ICST welcomes research papers as well as industrial experience reports from software development and testing practitioners. For the research papers, ICST seeks high quality original work. For the industrial papers ICST seeks papers that present real world experience from which others can benefit.

Authors of best papers from the conference will be invited to submit extended versions of their papers for a special issue of Software Testing, Verification, and Reliability, a Wiley journal.


Topics of interest include, but are not limited to:
• Software testing theory and practice
• Model-based testing
• Domain specific testing including, but not limited to, security testing, web services testing, database testing, embedded software testing, and OO software testing
• Verification & validation
• Quality assurance
• Model checking
• Empirical studies
• Metrics
• Fuzz testing
• Inspections
• Tools
• Testability and diagnosability
• Design for testability
• Testing education
• Testing in multidisciplinary applications
• Technology transfer
• Model-driven engineering and testing
• Agile/iterative/incremental testing processes
• Open source software/3rd party software testing
• Novel approaches to software reliability assessment

Important dates

Papers
Submission of abstracts: September 25, 2010
Submission of full papers: October 1, 2010
Date of conference: March 21-25, 2011

Ph. D. Symposium
Submission of abstracts: September 25, 2010
Submission of full papers: October 1, 2010
Date of conference: March 21-25, 2011

Workshops
Submission of proposals: September 3, 2010

Related Resources

ICST 2022   15th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2022
ATVA 2022   The 20th International Symposium on Automated Technology for Verification and Analysis
IJPLA 2022   International Journal of Programming Languages and Applications
PREDICTION SOLUTIONS 2022   International Conference on Prediction Solutions for Technical and Societal Systems
iFM 2022   International Conference on integrated Formal Methods
ICSEA 2022   The Seventeenth International Conference on Software Engineering Advances
MDPI-Electronics-SI-QualRiskDistribSys 2022   MDPI Electronics Special Issue on Quality Assurance and Risk Mitigation in Large-Scale Distributed Systems
IJCIS 2022   International Journal on Cryptography and Information Security
NFM 2022   NASA Formal Methods 2022
NETYS 2022   NETYS 2022 : THE 10th INTERNATIONAL CONFERENCE ON NETWORKED SYSTEMS