Model-Based Testing of Read Only Graph Queries | IEEE Conference Publication | IEEE Xplore