Generating Test Data Using Symbolic Execution: Challenges with Floating Point Data Types.
Justinas PrelgauskasEduardas BareisaPublished in: ICIST (2012)
Keyphrases
- data types
- test data
- floating point
- symbolic execution
- test cases
- test data generation
- test generation
- data model
- data structure
- training data
- database management systems
- database systems
- fixed point
- static analysis
- test set
- software testing
- specification language
- object oriented
- data mining algorithms
- training samples
- source code
- data flow
- real world
- training set
- learning algorithm
- data sets
- open source
- management system
- high level
- evolutionary algorithm
- test suite
- data analysis
- data mining
- floating point arithmetic