SQUIRREL: Testing Database Management Systems with Language Validity and Coverage Feedback.
Rui ZhongYongheng ChenHong HuHangfan ZhangWenke LeeDinghao WuPublished in: CoRR (2020)
Keyphrases
- database management systems
- database systems
- database applications
- data storage
- data management
- data model
- database management
- database technology
- data types
- management system
- concurrency control
- main memory
- test suite
- transaction processing
- relational database systems
- relational database management systems
- database
- index structure
- relational dbms
- database operations
- data management systems
- microsoft sql server
- object oriented database management systems
- transaction management
- distributed database systems
- database design
- programming language
- concurrency control and recovery
- statistical databases
- storage structures
- data sets