CSTVA′12 – 4th International workshop on Constraints in Software Testing, Verification and Analysis.<br>Recent years have seen an increasing interest in the application of constraint<br>solving techniques to the testing and analysis of software systems. A significant<br>body of constraint–based techniques have been proposed and investigated in model–based<br>testing, code–based testing, property–oriented testing, statistical testing, etc.<br>The central idea behind these techniques is designing or using existing constraint<br>solvers such as SMT solvers to deal with boolean, integer, real, floating–point data<br>types, enumerated types, control structures, complex data structures, method calls<br>and so on. The constraint systems that result from these analyses usually share some<br>common features such as being heterogeneous and highly dynamic. This also led to the<br>design of domain–specific heuristics able to exploit the structure of programs or<br>specification models.<br>The workshop will focus on a broad range of topics in constrained–based testing,<br>verification and analysis including, but not limited to, the following:<br>* Constraint–based analysis of programs and models<br>* Constraint–based test input generation<br>* Constraint–based exploration of programs and models<br>* Heuristics guided by the structure of programs and models<br>* Constraint solvers over specific domains<br>* SMT solvers used in program testing<br>* Combination of dedicated constraint solvers<br>
Abbrevation
CSTVA
City
MontrealQC
Country
Canada
Deadline Paper
Start Date
End Date
Abstract