@inproceedings{issta14_dse,
 author = {Galeotti, Juan Pablo and Fraser, Gordon and Arcuri, Andrea},
 title = {Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution (Tool paper)},
 booktitle = {Proceedings of the 2014 International Symposium on Software Testing and Analysis},
 series = {ISSTA '14},
 year = {2014},
 numpages = {4},
 publisher = {ACM},
 address = {New York, NY, USA},
 note = {To appear}
}