{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,19]],"date-time":"2026-04-19T01:24:40Z","timestamp":1776561880755,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T00:00:00Z","timestamp":1658102400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,7,18]]},"DOI":"10.1145\/3533767.3534409","type":"proceedings-article","created":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T14:28:50Z","timestamp":1657895330000},"page":"302-313","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":36,"title":["Finding bugs in Gremlin-based graph database systems via Randomized differential testing"],"prefix":"10.1145","author":[{"given":"Yingying","family":"Zheng","sequence":"first","affiliation":[{"name":"Institute of Software at Chinese Academy of Sciences, China \/ University of Chinese Academy of Sciences, China"}]},{"given":"Wensheng","family":"Dou","sequence":"additional","affiliation":[{"name":"Institute of Software at Chinese Academy of Sciences, China \/ University of Chinese Academy of Sciences, China"}]},{"given":"Yicheng","family":"Wang","sequence":"additional","affiliation":[{"name":"Institute of Software at Chinese Academy of Sciences, China \/ University of Chinese Academy of Sciences, China"}]},{"given":"Zheng","family":"Qin","sequence":"additional","affiliation":[{"name":"Institute of Software at Chinese Academy of Sciences, China \/ University of Chinese Academy of Sciences, China"}]},{"given":"Lei","family":"Tang","sequence":"additional","affiliation":[{"name":"Institute of Software at Chinese Academy of Sciences, China \/ University of Chinese Academy of Sciences, China"}]},{"given":"Yu","family":"Gao","sequence":"additional","affiliation":[{"name":"Institute of Software at Chinese Academy of Sciences, China \/ University of Chinese Academy of Sciences, China"}]},{"given":"Dong","family":"Wang","sequence":"additional","affiliation":[{"name":"Institute of Software at Chinese Academy of Sciences, China \/ University of Chinese Academy of Sciences, China"}]},{"given":"Wei","family":"Wang","sequence":"additional","affiliation":[{"name":"Institute of Software at Chinese Academy of Sciences, China \/ University of Chinese Academy of Sciences, China"}]},{"given":"Jun","family":"Wei","sequence":"additional","affiliation":[{"name":"Institute of Software at Chinese Academy of Sciences, China \/ University of Chinese Academy of Sciences, China"}]}],"member":"320","published-online":{"date-parts":[[2022,7,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2021. Benchmarking TigerGraph Using the Liked Data Benchmark Council Social Network Benchmark. https:\/\/www.tigergraph.com\/benchmark\/ \t\t\t\t\t  2021. Benchmarking TigerGraph Using the Liked Data Benchmark Council Social Network Benchmark. https:\/\/www.tigergraph.com\/benchmark\/"},{"key":"e_1_3_2_1_2_1","unstructured":"2021. Cypher Query Language. https:\/\/neo4j.com\/developer\/cypher\/ \t\t\t\t\t  2021. Cypher Query Language. https:\/\/neo4j.com\/developer\/cypher\/"},{"key":"e_1_3_2_1_3_1","unstructured":"2021. HugeGraph. https:\/\/hugegraph.github.io\/hugegraph-doc\/ \t\t\t\t\t  2021. HugeGraph. https:\/\/hugegraph.github.io\/hugegraph-doc\/"},{"key":"e_1_3_2_1_4_1","unstructured":"2021. HugeGraph-Client Quick Start. https:\/\/hugegraph.github.io\/hugegraph-doc\/quickstart\/hugegraph-client.html \t\t\t\t\t  2021. HugeGraph-Client Quick Start. https:\/\/hugegraph.github.io\/hugegraph-doc\/quickstart\/hugegraph-client.html"},{"key":"e_1_3_2_1_5_1","unstructured":"2021. JaCoCo is a free code coverage library for Java.. https:\/\/www.jacoco.org\/jacoco\/ \t\t\t\t\t  2021. JaCoCo is a free code coverage library for Java.. https:\/\/www.jacoco.org\/jacoco\/"},{"key":"e_1_3_2_1_6_1","unstructured":"2021. JanusGraph. https:\/\/janusgraph.org \t\t\t\t\t  2021. JanusGraph. https:\/\/janusgraph.org"},{"key":"e_1_3_2_1_7_1","unstructured":"2021. Neo4j. https:\/\/neo4j.com\/ \t\t\t\t\t  2021. Neo4j. https:\/\/neo4j.com\/"},{"key":"e_1_3_2_1_8_1","unstructured":"2021. Neo4j-Gremlin. https:\/\/github.com\/thinkaurelius\/neo4j-gremlin-plugin \t\t\t\t\t  2021. Neo4j-Gremlin. https:\/\/github.com\/thinkaurelius\/neo4j-gremlin-plugin"},{"key":"e_1_3_2_1_9_1","unstructured":"2021. The Next Generation Multi-Model Database Supporting Graphs Key\/Value Documents and Time-Series. https:\/\/arcadedb.com\/ \t\t\t\t\t  2021. The Next Generation Multi-Model Database Supporting Graphs Key\/Value Documents and Time-Series. https:\/\/arcadedb.com\/"},{"key":"e_1_3_2_1_10_1","unstructured":"2021. Open Source Distributed Scalable Lightning Fast. https:\/\/nebula-graph.io\/ \t\t\t\t\t  2021. Open Source Distributed Scalable Lightning Fast. https:\/\/nebula-graph.io\/"},{"key":"e_1_3_2_1_11_1","unstructured":"2021. OrientDB. https:\/\/orientdb.org \t\t\t\t\t  2021. OrientDB. https:\/\/orientdb.org"},{"key":"e_1_3_2_1_12_1","unstructured":"2021. RDF Triple Stores vs. Labeled Property Graphs: What\u2019s the Difference? https:\/\/neo4j.com\/blog\/rdf-triple-store-vs-labeled-property-graph-difference\/ \t\t\t\t\t  2021. RDF Triple Stores vs. Labeled Property Graphs: What\u2019s the Difference? https:\/\/neo4j.com\/blog\/rdf-triple-store-vs-labeled-property-graph-difference\/"},{"key":"e_1_3_2_1_13_1","unstructured":"2021. SQLancer. https:\/\/github.com\/sqlancer\/sqlancer \t\t\t\t\t  2021. SQLancer. https:\/\/github.com\/sqlancer\/sqlancer"},{"key":"e_1_3_2_1_14_1","unstructured":"2021. SQLsmith. https:\/\/github.com\/anse1\/sqlsmith \t\t\t\t\t  2021. SQLsmith. https:\/\/github.com\/anse1\/sqlsmith"},{"key":"e_1_3_2_1_15_1","unstructured":"2021. TigerGraph. https:\/\/www.tigergraph.com\/ \t\t\t\t\t  2021. TigerGraph. https:\/\/www.tigergraph.com\/"},{"key":"e_1_3_2_1_16_1","unstructured":"2021. TinkerGraph. https:\/\/github.com\/tinkerpop\/blueprints\/wiki\/tinkergraph \t\t\t\t\t  2021. TinkerGraph. https:\/\/github.com\/tinkerpop\/blueprints\/wiki\/tinkergraph"},{"key":"e_1_3_2_1_17_1","unstructured":"2021. TinkerPop. https:\/\/tinkerpop.apache.org\/ \t\t\t\t\t  2021. TinkerPop. https:\/\/tinkerpop.apache.org\/"},{"key":"e_1_3_2_1_18_1","unstructured":"2021. TinkerPop Documentation. https:\/\/tinkerpop.apache.org\/docs\/3.4.10\/reference\/ \t\t\t\t\t  2021. TinkerPop Documentation. https:\/\/tinkerpop.apache.org\/docs\/3.4.10\/reference\/"},{"key":"e_1_3_2_1_19_1","unstructured":"2021. TinkerPop Github. https:\/\/github.com\/tinkerpop \t\t\t\t\t  2021. TinkerPop Github. https:\/\/github.com\/tinkerpop"},{"key":"e_1_3_2_1_20_1","unstructured":"2021. TITAN: Distributed Graph Database. http:\/\/titan.thinkaurelius.com\/ \t\t\t\t\t  2021. TITAN: Distributed Graph Database. http:\/\/titan.thinkaurelius.com\/"},{"key":"e_1_3_2_1_21_1","unstructured":"2021. What is openCypher? http:\/\/www.opencypher.org\/ \t\t\t\t\t  2021. What is openCypher? http:\/\/www.opencypher.org\/"},{"key":"e_1_3_2_1_22_1","unstructured":"2022. DB-Engines Ranking of Graph DBMS. https:\/\/db-engines.com\/en\/ranking\/graph+dbms \t\t\t\t\t  2022. DB-Engines Ranking of Graph DBMS. https:\/\/db-engines.com\/en\/ranking\/graph+dbms"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.6534721"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.14778\/3151106.3151109"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2017.59"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2627692.2627697"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2484425.2484440"},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of International Conference on Management of Data (SIGMODE). 2821\u20132828","author":"Arenas Marcelo","unstructured":"Marcelo Arenas , Claudio Guti\u00e9rrez , and Juan F. Sequeda . 2021. Querying in the Age of Graph Databases and Knowledge Graphs . In Proceedings of International Conference on Management of Data (SIGMODE). 2821\u20132828 . Marcelo Arenas, Claudio Guti\u00e9rrez, and Juan F. Sequeda. 2021. Querying in the Age of Graph Databases and Knowledge Graphs. In Proceedings of International Conference on Management of Data (SIGMODE). 2821\u20132828."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180231"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.602"},{"key":"e_1_3_2_1_31_1","volume-title":"NASA Formal Methods - 4th International Symposium (NFM). 120\u2013125.","author":"Cuoq Pascal","unstructured":"Pascal Cuoq , Benjamin Monate , Anne Pacalet , Virgile Prevosto , John Regehr , Boris Yakobowski , and Xuejun Yang . 2012. Testing Static Analyzers with Randomly Generated Programs . In NASA Formal Methods - 4th International Symposium (NFM). 120\u2013125. Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto, John Regehr, Boris Yakobowski, and Xuejun Yang. 2012. Testing Static Analyzers with Randomly Generated Programs. In NASA Formal Methods - 4th International Symposium (NFM). 120\u2013125."},{"key":"e_1_3_2_1_32_1","volume-title":"Querying Graph Databases with the GSQL Query Language. In Simp\u00f3sio Brasileiro de Banco de Dados (SBBD). 313","author":"Deutsch Alin","year":"2018","unstructured":"Alin Deutsch . 2018 . Querying Graph Databases with the GSQL Query Language. In Simp\u00f3sio Brasileiro de Banco de Dados (SBBD). 313 . Alin Deutsch. 2018. Querying Graph Databases with the GSQL Query Language. In Simp\u00f3sio Brasileiro de Banco de Dados (SBBD). 313."},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings of ACM SIGMOD International Conference on Management of Data (SIGMOD). 619\u2013630","author":"Erling Orri","unstructured":"Orri Erling , Alex Averbuch , Josep Llu\u00eds Larriba-Pey , Hassan Chafi , Andrey Gubichev , Arnau Prat-P\u00e9rez , Minh-Duc Pham , and Peter A. Boncz . 2015. The LDBC Social Network Benchmark: Interactive Workload . In Proceedings of ACM SIGMOD International Conference on Management of Data (SIGMOD). 619\u2013630 . Orri Erling, Alex Averbuch, Josep Llu\u00eds Larriba-Pey, Hassan Chafi, Andrey Gubichev, Arnau Prat-P\u00e9rez, Minh-Duc Pham, and Peter A. Boncz. 2015. The LDBC Social Network Benchmark: Interactive Workload. In Proceedings of ACM SIGMOD International Conference on Management of Data (SIGMOD). 619\u2013630."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"Orri Erling and Ivan Mikhailov. 2009. RDF Support in the Virtuoso DBMS. In Networked Knowledge-Networked Media. 7\u201324. \t\t\t\t\t  Orri Erling and Ivan Mikhailov. 2009. RDF Support in the Virtuoso DBMS. In Networked Knowledge-Networked Media. 7\u201324.","DOI":"10.1007\/978-3-642-02184-8_2"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5220\/0006910203730380"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183713.3190657"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.14778\/3357377.3357382"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115669"},{"key":"e_1_3_2_1_39_1","volume-title":"International Conference on Automated Software Engineering (ASE). 238\u2013247","author":"Khalek Shadi Abdul","year":"2008","unstructured":"Shadi Abdul Khalek , Bassem Elkarablieh , Yai O. Laleye , and Sarfraz Khurshid . 2008 . Query-Aware Test Generation Using a Relational Constraint Solver . In International Conference on Automated Software Engineering (ASE). 238\u2013247 . Shadi Abdul Khalek, Bassem Elkarablieh, Yai O. Laleye, and Sarfraz Khurshid. 2008. Query-Aware Test Generation Using a Relational Constraint Solver. In International Conference on Automated Software Engineering (ASE). 238\u2013247."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.14232\/actacyb.24.1.2019.5"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.14778\/3297753.3297759"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE51399.2021.00303"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468573"},{"key":"e_1_3_2_1_45_1","first-page":"100","article-title":"Differential Testing for Software","volume":"10","author":"McKeeman William M.","year":"1998","unstructured":"William M. McKeeman . 1998 . Differential Testing for Software . Digit. Tech. J. , 10 , 1 (1998), 100 \u2013 107 . William M. McKeeman. 1998. Differential Testing for Software. Digit. Tech. J., 10, 1 (1998), 100\u2013107.","journal-title":"Digit. Tech. J."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3078447.3078459"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE51399.2021.00197"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409710"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428279"},{"key":"e_1_3_2_1_50_1","volume-title":"Proceedings of USENIX Symposium on Operating Systems Design and Implementation (OSDI). 667\u2013682","author":"Rigger Manuel","year":"2020","unstructured":"Manuel Rigger and Zhendong Su . 2020 . Testing Database Engines via Pivoted Query Synthesis . In Proceedings of USENIX Symposium on Operating Systems Design and Implementation (OSDI). 667\u2013682 . Manuel Rigger and Zhendong Su. 2020. Testing Database Engines via Pivoted Query Synthesis. In Proceedings of USENIX Symposium on Operating Systems Design and Implementation (OSDI). 667\u2013682."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815072.2815073"},{"key":"e_1_3_2_1_52_1","volume-title":"Proceedings of International Conference on Very Large Data Bases (VLDB). 618\u2013622","author":"Slutz Donald S.","year":"1998","unstructured":"Donald S. Slutz . 1998 . Massive Stochastic Testing of SQL . In Proceedings of International Conference on Very Large Data Bases (VLDB). 618\u2013622 . Donald S. Slutz. 1998. Massive Stochastic Testing of SQL. In Proceedings of International Conference on Very Large Data Bases (VLDB). 618\u2013622."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00137"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSC.2020.00080"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-55130-8_29"}],"event":{"name":"ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Virtual South Korea","acronym":"ISSTA '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3533767.3534409","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3533767.3534409","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:43:41Z","timestamp":1750272221000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3533767.3534409"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,18]]},"references-count":54,"alternative-id":["10.1145\/3533767.3534409","10.1145\/3533767"],"URL":"https:\/\/doi.org\/10.1145\/3533767.3534409","relation":{},"subject":[],"published":{"date-parts":[[2022,7,18]]},"assertion":[{"value":"2022-07-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}