Symbolic execution of NoSQL applications using versioned schemas.
Hendrik WinkelmannHerbert KuchenPublished in: SAC (2021)
Keyphrases
- symbolic execution
- data integration
- static analysis
- test data generation
- test generation
- relational databases
- specification language
- source code
- databases
- data management
- big data
- database schema
- data flow
- data model
- schema mappings
- data exchange
- data sources
- schema evolution
- xml schema
- simulated annealing algorithm
- database systems
- general purpose
- particle swarm optimization
- knowledge management
- database