Strengthening Inferred Specifications using Search Based Testing.

Kamran Ghani John A. Clark

Published in: ICST Workshops (2008)

Keyphrases

search based testing
test data generation
test data
formal specification
simulated annealing algorithm
test cases
high level
delay insensitive
error rate
test generation
databases
optimization algorithm
multi objective
relational databases
training data
artificial intelligence
genetic algorithm
real world