Automatic Test Data Generation for C Programs.

Prasad Bokil Priyanka Darke Ulka Shrotri R. Venkatesh

Published in: SSIRI (2009)

Keyphrases

test data generation
symbolic execution
test cases
simulated annealing algorithm
search based testing
software testing
test generation
neural network
simulated annealing
database
databases
learning algorithm
artificial intelligence
open source
global search
static analysis