@misc{8882,
  keywords = {Workshop},
  author = {Arnaud Gotlieb and Vijay Ganesh},
  title = {Challenges in Constraint-Based Testing},
  abstract = {Constraint-Based Testing emerged ten years ago as an important software testing topic. Many developments in symbolic execution, a technique used to symbolically explore the execution paths of a program under test, revealed the pressing needs for having at hand powerful constraint solving methods.},
  year = {2014},
  journal = {Selected talk at {\textquoteright}Verification meets CP{\textquoteright} workshop 2014, Lyon, France},
}