Symbolic Path-Oriented Test Data Generation for Floating-Point Programs.
Roberto BagnaraMatthieu CarlierRoberta GoriArnaud GotliebPublished in: ICST (2013)
Keyphrases
- floating point
- test data generation
- symbolic execution
- interval arithmetic
- simulated annealing algorithm
- search based testing
- test cases
- fixed point
- software testing
- sparse matrices
- generation algorithm
- test generation
- instruction set
- high level
- floating point arithmetic
- simulated annealing
- decision trees
- constraint propagation
- fitness function
- training data