ISSRE 2013: Improving Search-based Test Suite Generation with Dynamic Symbolic Execution

  • [PDF] J. P. Galeotti, G. Fraser, and A. Arcuri, “Improving Search-based Test Suite Generation with Dynamic Symbolic Execution,” in IEEE International Symposium on Software Reliability Engineering (ISSRE), 2013, pp. 360-369.
    [Bibtex] 
    @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={360--369},
    YEAR="2013",
    publisher={IEEE}
}