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