@misc{14173,
  author = {Arnaud Gotlieb},
  title = {Constraint-Based Testing: An Emerging Trend in Software Testing},
  abstract = {Software Testing involves the development of smart techniques to automatically find test inputs which uncover faults in programs. An emerging trend in this area, called {\textquoteleft}{\textquoteleft}Constraint-Based Testing\&$\#$39;\&$\#$39;, aims at exploiting constraint solving techniques for this goal. My talk will review different techniques including dynamic symbolic execution, path-based exploration and constraint-based exploration and will emphasize the usage of advanced Constraint Programming tools.},
  year = {2016},
  journal = {XVI Jornadas sobre Programaci{\'o}n y Lenguajes (PROLE 2016), Salamanca, Spain, 14-16 Sep. 2016},
  url = {http://prole2016.webs.upv.es/},
}