Open Science Research Excellence

ICSVA 2020 : International Conference on Software Verification and Analysis

Amsterdam, The Netherlands
February 6 - 7, 2020

Call for Papers

ICSVA 2020 : International Conference on Software Verification and Analysis is the premier interdisciplinary platform for the presentation of new advances and research results in the fields of Software Verification and Analysis. The conference will bring together leading academic scientists, researchers and scholars in the domain of interest from around the world. Topics of interest for submission include, but are not limited to:
  • Software verification
  • Dynamic verification, test and experimentation
  • Static verification and analysis
  • Test in the small and large
  • Module, integration, and system tests
  • Functional and non-functional tests
  • Software verification and validation
  • Static verification
  • Code conventions verification
  • Bad practices (anti-pattern) detection
  • Software metrics calculation
  • Formal verification