{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T10:14:06Z","timestamp":1773310446463,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":65,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T00:00:00Z","timestamp":1726012800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,11]]},"DOI":"10.1145\/3650212.3680392","type":"proceedings-article","created":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:44:25Z","timestamp":1726055065000},"page":"1695-1707","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Testing Gremlin-Based Graph Database Systems via Query Disassembling"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-2814-0273","authenticated-orcid":false,"given":"Yingying","family":"Zheng","sequence":"first","affiliation":[{"name":"Institute of Software at Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3323-0449","authenticated-orcid":false,"given":"Wensheng","family":"Dou","sequence":"additional","affiliation":[{"name":"Institute of Software at Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-4526-1814","authenticated-orcid":false,"given":"Lei","family":"Tang","sequence":"additional","affiliation":[{"name":"Institute of Software at Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-7462-194X","authenticated-orcid":false,"given":"Ziyu","family":"Cui","sequence":"additional","affiliation":[{"name":"Institute of Software at Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-8312-6736","authenticated-orcid":false,"given":"Yu","family":"Gao","sequence":"additional","affiliation":[{"name":"Institute of Software at Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-0401-2033","authenticated-orcid":false,"given":"Jiansen","family":"Song","sequence":"additional","affiliation":[{"name":"Institute of Software at Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-8520-5141","authenticated-orcid":false,"given":"Liang","family":"Xu","sequence":"additional","affiliation":[{"name":"Jinling Institute of Technology, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0905-2355","authenticated-orcid":false,"given":"Jiaxin","family":"Zhu","sequence":"additional","affiliation":[{"name":"Institute of Software at Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-4941-9237","authenticated-orcid":false,"given":"Wei","family":"Wang","sequence":"additional","affiliation":[{"name":"Institute of Software at Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8561-2481","authenticated-orcid":false,"given":"Jun","family":"Wei","sequence":"additional","affiliation":[{"name":"Institute of Software at Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3650-1475","authenticated-orcid":false,"given":"Hua","family":"Zhong","sequence":"additional","affiliation":[{"name":"Institute of Software at Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-4875-732X","authenticated-orcid":false,"given":"Tao","family":"Huang","sequence":"additional","affiliation":[{"name":"Institute of Software at Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,9,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2024. AFL. https:\/\/github.com\/google\/AFL"},{"key":"e_1_3_2_1_2_1","unstructured":"2024. Alloy. https:\/\/alloytools.org\/"},{"key":"e_1_3_2_1_3_1","unstructured":"2024. DB-Engines Ranking of Graph DBMS. https:\/\/db-engines.com\/en\/ranking\/graph+dbms"},{"key":"e_1_3_2_1_4_1","unstructured":"2024. Gremlin Query Language. https:\/\/tinkerpop.apache.org\/gremlin.html"},{"key":"e_1_3_2_1_5_1","unstructured":"2024. Gremlin Traversal Strategy. https:\/\/tinkerpop.apache.org\/docs\/3.5.2\/"},{"key":"e_1_3_2_1_6_1","unstructured":"2024. HugeGraph. https:\/\/hugegraph.github.io\/hugegraph-doc\/"},{"key":"e_1_3_2_1_7_1","unstructured":"2024. Introducing the new Cypher Query Optimizer. https:\/\/neo4j.com\/blog\/introducing-new-cypher-query-optimizer\/"},{"key":"e_1_3_2_1_8_1","unstructured":"2024. JanusGraph. https:\/\/janusgraph.org"},{"key":"e_1_3_2_1_9_1","unstructured":"2024. MariaDB. https:\/\/mariadb.org"},{"key":"e_1_3_2_1_10_1","unstructured":"2024. MySQL. https:\/\/www.mysql.com"},{"key":"e_1_3_2_1_11_1","unstructured":"2024. Nebula Graph Query Language (nGQL). https:\/\/docs.nebula-graph.io\/2.0.1\/3.ngql-guide\/1.nGQL-overview\/1.overview\/"},{"key":"e_1_3_2_1_12_1","unstructured":"2024. Neo4j. https:\/\/neo4j.com\/"},{"key":"e_1_3_2_1_13_1","unstructured":"2024. Neo4j-Gremlin. https:\/\/github.com\/thinkaurelius\/neo4j-gremlin-plugin"},{"key":"e_1_3_2_1_14_1","unstructured":"2024. The Next Generation Multi-Model Database Supporting Graphs Key\/Value Documents and Time-Series. https:\/\/arcadedb.com\/"},{"key":"e_1_3_2_1_15_1","unstructured":"2024. Open Source Distributed Scalable Lightning Fast. https:\/\/nebula-graph.io\/"},{"key":"e_1_3_2_1_16_1","unstructured":"2024. OrientDB. https:\/\/orientdb.org"},{"key":"e_1_3_2_1_17_1","unstructured":"2024. PostgreSQL. https:\/\/www.postgresql.org"},{"key":"e_1_3_2_1_18_1","unstructured":"2024. SPARQL 1.1 Query Language. https:\/\/www.w3.org\/TR\/sparql11-query\/"},{"key":"e_1_3_2_1_19_1","unstructured":"2024. SQLsmith. https:\/\/github.com\/anse1\/sqlsmith"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","unstructured":"2024. Testing Gremlin-Based Graph Database Systems via Query Disassembling. https:\/\/doi.org\/10.5281\/zenodo.12771889 10.5281\/zenodo.12771889","DOI":"10.5281\/zenodo.12771889"},{"key":"e_1_3_2_1_21_1","unstructured":"2024. TiDB PingCAP. https:\/\/pingcap.com"},{"key":"e_1_3_2_1_22_1","unstructured":"2024. TinkerGraph. https:\/\/github.com\/tinkerpop\/blueprints\/wiki\/tinkergraph"},{"key":"e_1_3_2_1_23_1","unstructured":"2024. TinkerPop. https:\/\/tinkerpop.apache.org\/"},{"key":"e_1_3_2_1_24_1","unstructured":"2024. What is openCypher? http:\/\/www.opencypher.org\/"},{"key":"e_1_3_2_1_25_1","volume-title":"Encyclopedia of Big Data Technologies, Sherif Sakr and Albert Y","author":"Angles Renzo","unstructured":"Renzo Angles, Juan L. Reutter, and Hannes Voigt. 2019. Graph Query Languages. In Encyclopedia of Big Data Technologies, Sherif Sakr and Albert Y. Zomaya (Eds.)."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3448016.3457545"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00174"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"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.1145\/3551349.3556924"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639207"},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of 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 Proceedings of Simp\u00f3sio Brasileiro de Banco de Dados (SBBD). 313."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3318464.3386144"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00101"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2742786"},{"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","volume-title":"Proceedings of USENIX Annual Technical Conference (USENIX ATC). 345\u2013358","author":"Hao Zongyin","year":"2023","unstructured":"Zongyin Hao, Quanfeng Huang, Chengpeng Wang, Jianfeng Wang, Yushan Zhang, Rongxin Wu, and Charles Zhang. 2023. Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis. In Proceedings of USENIX Annual Technical Conference (USENIX ATC). 345\u2013358."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.3390\/sym14010055"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598046"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST60714.2024.00012"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.14778\/3357377.3357382"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598044"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.34"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859063"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE51399.2021.00303"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510093"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639200"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468573"},{"key":"e_1_3_2_1_49_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\u2013107.","journal-title":"Digit. Tech. J."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE51399.2021.00197"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409710"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428279"},{"key":"e_1_3_2_1_53_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."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815072.2815073"},{"key":"e_1_3_2_1_55_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."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00175"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.14778\/3659437.3659445"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-55130-8_29"},{"key":"e_1_3_2_1_59_1","volume-title":"Nebula Graph: An Open Source Distributed Graph Database. CoRR, abs\/2206.07278","author":"Wu Min","year":"2022","unstructured":"Min Wu, Xinglu Yi, Hui Yu, Yu Liu, and Yujue Wang. 2022. Nebula Graph: An Open Source Distributed Graph Database. CoRR, abs\/2206.07278 (2022)."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion58688.2023.00041"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion58688.2023.00041"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST60714.2024.00012"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534409"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.14778\/3636218.3636236"}],"event":{"name":"ISSTA '24: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Vienna Austria","acronym":"ISSTA '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3680392","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3650212.3680392","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:58:09Z","timestamp":1750294689000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3680392"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,11]]},"references-count":65,"alternative-id":["10.1145\/3650212.3680392","10.1145\/3650212"],"URL":"https:\/\/doi.org\/10.1145\/3650212.3680392","relation":{},"subject":[],"published":{"date-parts":[[2024,9,11]]},"assertion":[{"value":"2024-09-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}