@article {23399,
	title = {Infeasible Path Generalization in Dynamic Symbolic Execution},
	journal = {Information and Software Technology},
	volume = {58},
	year = {2015},
	month = {02/2015},
	pages = {403{\textendash}418},
	publisher = {Elsevier},
	author = {Delahaye, Mickael and Botella, Bernard and Gotlieb, Arnaud}
}
