Automatic Test Data Generation for Programs with Integer and Float Variables.

Nguyen Tran Sy Yves Deville

Published in: ASE (2001)

Keyphrases

test data generation
symbolic execution
simulated annealing algorithm
search based testing
test cases
test case generation
software testing
test generation
artificial neural networks
test data
static analysis
generation algorithm