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

Juan Pablo Galeotti Gordon Fraser Andrea Arcuri

Published in: ISSTA (2014)

Keyphrases

test data generation
symbolic execution
test generation
test cases
simulated annealing algorithm
search algorithm
software testing
search space
neural network
artificial intelligence
generation algorithm
multi agent systems
domain independent
search strategy