posted by organizer: aichernig || 13319 views || tracked by 61 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Software Testing, Verification, and Validation
 
Link: http://icst2015.ist.tu-graz.ac.at/
 
When Apr 13, 2015 - Apr 17, 2015
Where Graz, Austria
Submission Deadline Oct 24, 2014
Notification Due Dec 22, 2014
 

Call For Papers

IEEE International Conference on Software Testing, Verification and Validation

We are pleased to announce ICST 2015, the eighth edition of 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. 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. It 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.

Related Resources

ICST 2022   15th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2022
ISoLA 2022   11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
IEEE ICICSE 2023   IEEE--2023 the 3rd International Conference on Information Communication and Software Engineering (ICICSE 2023)
ModeVVa 2022   19th Workshop on Model Driven Engineering, Verification and Validation
SANER 2023   The 30th IEEE International Conference on Software Analysis, Evolution and Reengineering
IEEE ICCCR 2023   IEEE--2023 3rd International Conference on Computer, Control and Robotics (ICCCR 2023)
ICICSE 2023   IEEE--2023 the 3rd International Conference on Information Communication and Software Engineering (ICICSE 2023)
IEEE ICCAE 2023   IEEE--2023 the 15th International Conference on Computer and Automation Engineering (ICCAE 2023)
SBMF 2022   25th Brazilian Symposium on Formal Methods
MDPI-Electronics-SI-QualRiskDistribSys 2022   MDPI Electronics Special Issue on Quality Assurance and Risk Mitigation in Large-Scale Distributed Systems