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

Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics