Consistency techniques for interprocedural test data generation.

Nguyen Tran Sy Yves Deville

Published in: ESEC / SIGSOFT FSE (2003)

Keyphrases

test data generation
test cases
simulated annealing algorithm
search based testing
symbolic execution
software testing
generation algorithm
test case generation
fitness function
test data
learning algorithm
test generation
neural network
optimization problems
software development
mutation operator