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
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
04月11日
2016
04月15日
2016
注册截止日期
2019年04月22日 中国
12th IEEE International Conference on Software Testing, Verification and Validation2018年04月09日 瑞典 Västerås
2018 IEEE International Conference on Software Testing, Verification and Validation2017年03月13日 日本 Tokyo, Japan
International Conference on Software Testing, Verification and Validation2015年04月13日 奥地利
2015 IEEE第8届软件测试,验证和确认国际会议2014年03月31日 美国
2014第七届IEEE软件测试,验证与确认国际会议
留言