Testing Graph Database Systems with Graph-State Persistence Oracle. - Shuang Liu 007; Junhao Lan; Xiaoning Du 001; Jiyuan Li; Wei Lu 015; Jiajun Jiang; Xiaoyong Du 001 (ISSTA, 2024)