Towards testing of full-scale SQL applications using relational symbolic execution.
Michaël MarcozziWim VanhoofJean-Luc HainautPublished in: CSTVA (2014)
Keyphrases
- symbolic execution
- relational databases
- database language
- test generation
- test data generation
- relational model
- static analysis
- specification language
- source code
- data flow
- database
- sql queries
- data model
- relational data
- query language
- test cases
- relational tables
- database schema
- xml query evaluation
- object oriented
- software testing
- relational algebra
- databases
- quality assurance
- simulated annealing algorithm
- database design
- pattern matching
- software development
- xml documents