Login / Signup
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