活动简介

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

  • 04月15日 2016

    注册截止日期

联系方式
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询