|Authors||A. Gotlieb and V. Ganesh|
|Title||Challenges in Constraint-Based Testing|
|Afilliation||Software Engineering, Software Engineering, Software Engineering|
|Project(s)||The Certus Centre (SFI)|
|Publication Type||Talks, contributed|
|Year of Publication||2014|
|Location of Talk||Selected talk at 'Verification meets CP' workshop 2014, Lyon, France|
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.