Extending a search-based test generator with adaptive dynamic symbolic execution.

Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri

Browse the full ISSTA paper archive.