CSTVA 2017 - International Workshop on Constraints in Software Testing, Verification and Analysis 2017 (CSTVA’17)

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.