|Title||Constraint-Based Testing: An Emerging Trend in Software Testing|
|Afilliation||Software Engineering, Software Engineering|
|Project(s)||The Certus Centre (SFI)|
|Publication Type||Talks, invited|
|Year of Publication||2016|
|Location of Talk||XVI Jornadas sobre Programación y Lenguajes (PROLE 2016), Salamanca, Spain, 14-16 Sep. 2016|
|Type of Talk||Invited Speaker|
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 ``Constraint-Based Testing'', 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.