Finding bugs in Gremlin-based graph database systems via Randomized differential testing.
Yingying ZhengWensheng DouYicheng WangZheng QinLei TangYu GaoDong WangWei WangJun WeiPublished in: ISSTA (2022)
Keyphrases
- database systems
- test cases
- graph representation
- database
- structured data
- graph structure
- link analysis
- software testing
- software systems
- random walk
- query optimization
- data types
- connected components
- graph matching
- graph theory
- np hard
- dependency graph
- graph based algorithm
- weighted graph
- directed graph
- data model
- databases