Generating input data structures for automated program testing.

Insang Chung James M. Bieman

Published in: Softw. Test. Verification Reliab. (2009)

Keyphrases

data structure
test cases
symbolic execution
semi automated
search based software testing
search based testing
database systems

concurrent programs
input data
computer aided
computer programs
fully automated
automatically generating

static analysis
software testing
data types
artificial intelligence
user input
data mining

semi automatic
test generation
program execution
multi dimensional
multiscale
case study