Symbolic search-based testing.

Arthur I. Baars Mark Harman Youssef Hassoun Kiran Lakhotia Phil McMinn Paolo Tonella Tanja E. J. Vos

Published in: ASE (2011)

Keyphrases

search based testing
test data generation
test data
test cases
symbolic representation
artificial intelligence
high level
simulated annealing algorithm
data sets
optimization algorithm
test set