Relational symbolic execution of SQL code for unit testing of database programs.
Michaël MarcozziWim VanhoofJean-Luc HainautPublished in: Sci. Comput. Program. (2015)
Keyphrases
- symbolic execution
- database
- relational databases
- unit testing
- database language
- static analysis
- test data generation
- test generation
- source code
- software testing
- test cases
- query language
- database schema
- specification language
- databases
- data model
- database applications
- relational model
- data flow
- sql statements
- relational database systems
- sql queries
- relational tables
- programming language
- database management systems
- sql server
- relational data model
- dynamic analysis
- database design
- database systems
- data management
- open source
- error handling
- tool suite
- software systems
- formal specification