A relational symbolic execution algorithm for constraint-based testing of database programs.
Michaël MarcozziWim VanhoofJean-Luc HainautPublished in: SCAM (2013)
Keyphrases
- symbolic execution
- database
- optimal solution
- learning algorithm
- simulated annealing
- optimization algorithm
- convergence rate
- static analysis
- ant colony optimization
- data model
- relational databases
- objective function
- case study
- test data generation
- simulated annealing algorithm
- generation algorithm
- particle swarm optimization
- particle swarm optimization algorithm
- integrity constraints
- error rate
- genetic algorithm
- neural network
- databases