ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

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 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