@conference {319,
	title = {Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution},
	booktitle = {Proceedings of the 2014 International Symposium on Software Testing and Analysis},
	year = {2014},
	publisher = {ACM},
	organization = {ACM},
	isbn = {978-1-4503-2645-2},
	doi = {10.1145/2610384.2628049},
	author = {Juan Pablo Galeotti and Gordon Fraser and Andrea Arcuri}
}