posted by user: lrj_ltg || 36620 views || tracked by 62 users: [display]

ICST 2012 : IEEE Fifth International Conference on Software Testing, Verification and Validation

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Software Testing, Verification, and Validation
 
Link: http://icst2012.soccerlab.polymtl.ca
 
When Apr 18, 2012 - Apr 22, 2012
Where Montreal, Canada
Abstract Registration Due Oct 28, 2011
Submission Deadline Nov 4, 2011
Notification Due Dec 28, 2011
Final Version Due Jan 15, 2012
Categories    software   testing   software testing   verification
 

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 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 address the problems in verification and validation, by bringing together researchers and practitioners for a conference that includes all aspects of software testing, as it is most widely construed. Thus, 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. Industrial software testing, verification, and validation pose additional challenges that must be taken into account when setting up new processes and tools successfully such as: the complexity of the system to be developed; evolving software, legacy code; integration of third-party components; requirements from a certification process; version management; product line engineering; agile development processes; distribution of teams and others.

Related Resources

ICST 2025   International Conference on Software Testing, Verification, and Validation
CSECS 2026   2026 IEEE 8th International Conference on Software Engineering and Computer Science (CSECS 2026)
VALID 2026   The Eighteenth International Conference on Advances in System Testing and Validation Lifecycle
Ei/Scopus-ITCC 2026   2026 6th International Conference on Information Technology and Cloud Computing (ITCC 2026)
ICSEA 2026   The Twenty-First International Conference on Software Engineering Advances
SANER 2026   The 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering
IARIA Congress 2026   The 2026 IARIA Annual Congress on Frontiers in Science, Technology, Services, and Applications
Ei/Scopus-CMLDS 2026   2026 3rd International Conference on Computing, Machine Learning and Data Science (CMLDS 2026)
IEEE PRAI 2026   IEEE--2026 9th International Conference on Pattern Recognition and Artificial Intelligence (PRAI 2026)
SBMF 2025   28th Brazilian Symposium on Formal Methods