CSTVA 2017 - International Workshop on Constraints in Software Testing, Verification and Analysis 2017 (CSTVA’17)
Date2017-07-11 - 2017-07-15
VenueSanta Barbara, CA, USA - United States
Topics/Call fo Papers
CSTVA brings together researchers from the areas of constraint solving, programming languages (PL), and software engineering (SE). CSTVA aims to cover a broad range of topics related to usage of popular solving techniques (including SAT, SMT, ATP, CP, CSP, etc) in PL/SE, examples being testing and verification based on symbolic execution, constraint-based synthesis, etc. In bringing together researchers from the different communities, CSTVA enables feedback, guidance, insight and collaboration.
Last modified: 2016-06-05 13:58:34