Invited talk to TEST Lab, National University of Singapore: Testing Graph Database Systems via Equivalent Query Rewriting