-
Proving Cypher Query Equivalence
Lei Tang, Wensheng Dou, Yingying
Zheng, Lijie Xu, Wei Wang, Jun Wei, Tao Huang
ICDE'25
-
Testing Gremlin-Based Graph Database Systems via Query
Disassembling
Yingying Zheng, Wensheng Dou, Lei
Tang, Ziyu Cui, Yu Gao, Jiansen Song, Liang Xu, Jiaxin
Zhu, Wei Wang, Jun Wei, Hua Zhong, Tao Huang
ISSTA'24
-
Differential Optimization Testing of Gremlin-Based
Graph Database Systems
Yingying Zheng, Wensheng Dou, Lei
Tang, Ziyu Cui, Jiansen Song, Ziyue Cheng, Wei Wang, Jun
Wei, Hua Zhong, Tao Huang
ICST'24
-
Randomized Differential Testing of RDF Stores
Rui Yang, Yingying Zheng, Lei Tang, Wensheng Dou, Wei Wang, Jun Wei
ICSE'23 Demo
-
Finding Bugs in Gremlin-Based Graph Database Systems via
Randomized Differential Testing
Yingying Zheng, Wensheng Dou, Yicheng Wang, Zheng Qin, Lei Tang,
Yu Gao, Dong Wang, Wei Wang, Jun Wei
ISSTA'22