Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Query Transformation.
Yuancheng JiangJiahao LiuJinsheng BaRoland H. C. YapZhenkai LiangManuel RiggerPublished in: ICSE (2024)
Keyphrases
- database management systems
- database
- database systems
- structured data
- data model
- management system
- data storage
- data management
- main memory
- database applications
- database technology
- query optimizer
- query evaluation
- data sources
- response time
- relational database systems
- relational database management systems
- data management systems
- data structure
- concurrency control
- graph databases