The IEEE International Conference on Software Testing, Verification and Validation
摘要截稿:
全文截稿: 2019-10-14
开会时间: 2020-03-23
会议难度:
CCF分类: C类
会议地点: Porto, Portugal
Overview
ICST 2020 is intended to provide a common forum for researchers, scientists, engineers and practitioners throughout the world to present their latest research findings, ideas, developments and applications in the area of Software Testing, Verification and Validation. ICST 2020 will include keynote addresses by eminent scientists as well as special, regular and poster sessions. All research papers will be peer reviewed on the basis of a full length manuscript and acceptance will be based on quality, originality and relevance. Accepted research papers will be published in the conference proceedings with an IEEE catalog number and ISBN number. The proceedings will be submitted for publication in IEEE Xplore.
Topics of interest include, but is not limited to, the following:
Fuzz testing
Manual testing practices and techniques
Search based software testing
Security testing
Model based testing
Test automation
Static analysis and symbolic execution
Formal verification and Model checking
Software reliability
Testability and design
Testing and development processes
Testing education
Testing in specific domains, such as mobile, web, embedded, concurrent, distributed, cloud, GUI and real-time systems
Testing for learning-enabled software, including deep learning
Testing/debugging tools
Theory of software testing
Empirical studies
Experience reports