Exploiting Symbolic Execution to Accelerate Deterministic Databases.
Shady IssaMiguel ViegasPedro RaminhasNuno MachadoMiguel MatosPaolo RomanoPublished in: ICDCS (2020)
Keyphrases
- symbolic execution
- databases
- database
- test data generation
- static analysis
- test generation
- relational databases
- source code
- database systems
- specification language
- data model
- data warehouse
- data flow
- data integration
- data sources
- case study
- information systems
- data management
- general purpose
- query language
- high level
- data sets