Dinkel: Testing Graph Database Engines via State-Aware Query Generation. - Dominic Wüst; Zu-Ming Jiang; Zhendong Su 001 (CoRR, 2024)