Test Data Generation for C Programs with String-Handling Functions.

Hui Ruan Jian Zhang Jun Yan

Published in: TASE (2008)

Keyphrases

test data generation
symbolic execution
test cases
search based testing
simulated annealing algorithm
test case generation
software testing
database
real world
pattern matching
fitness function
test generation
generation algorithm
simulated annealing
search algorithm
neural network
databases