Generating input data structures for automated program testing.
Insang ChungJames M. BiemanPublished 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