Towards Constraing-Based Local Search for Automatic Test Data Generation.

Arnaud Gotlieb Nadjib Lazaar Yahia Lebbah

Published in: ICST Workshops (2008)

Keyphrases

test data generation
simulated annealing algorithm
test cases
search algorithm
search based testing
simulated annealing
symbolic execution
high level
global search
tabu search
test data
test case generation
data sets
genetic algorithm
artificial intelligence
open source