@inproceedings{issre13_dse,
    AUTHOR="Juan Pablo Galeotti and Gordon Fraser and Andrea Arcuri",
    TITLE="Improving Search-based Test Suite Generation with Dynamic Symbolic Execution",
    booktitle={IEEE International Symposium on Software Reliability Engineering (ISSRE)},
    PAGES="",
    YEAR="2013"
}