Character String Predicate Based Automatic Software Test Data Generation.

Ruilian Zhao Michael R. Lyu

Published in: QSIC (2003)

Keyphrases

test data generation
test cases
simulated annealing algorithm
software testing
search based testing
test case generation
symbolic execution
fitness function
generation algorithm
test generation
software systems
database
software development
character string