Dinkel: State-Aware and Granular Framework for Validating Graph Databases. - Celine Wüst; Zu-Ming Jiang; Zhendong Su 001 (Proc. VLDB Endow., 2026)