@misc {Simula.simula.2854,
	title = {Challenges in Constraint-Based Testing},
	howpublished = {Selected talk at {\textquoteright}Verification meets CP{\textquoteright} workshop 2014, Lyon, France},
	year = {2014},
	publisher = {.},
	address = {.},
	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.},
	keywords = {Workshop},
	author = {Gotlieb, Arnaud and Ganesh, Vijay}
}
