{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,19]],"date-time":"2026-04-19T01:24:41Z","timestamp":1776561881695,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":56,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,2,6]],"date-time":"2024-02-06T00:00:00Z","timestamp":1707177600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001381","name":"National Research Foundation Singapore","doi-asserted-by":"publisher","award":["Industry Alignment Fund ? Pre-positioning (IAF-PP) Funding Initiative; Cyber Security Agency of Singapore under its National Cybersecurity R&D Programme (Fuzz Testing NRF-NCR25-Fuzz-0001)"],"award-info":[{"award-number":["Industry Alignment Fund ? Pre-positioning (IAF-PP) Funding Initiative; Cyber Security Agency of Singapore under its National Cybersecurity R&D Programme (Fuzz Testing NRF-NCR25-Fuzz-0001)"]}],"id":[{"id":"10.13039\/501100001381","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,2,6]]},"DOI":"10.1145\/3597503.3623307","type":"proceedings-article","created":{"date-parts":[[2024,2,6]],"date-time":"2024-02-06T20:53:16Z","timestamp":1707252796000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Query Transformation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-7833-5208","authenticated-orcid":false,"given":"Yuancheng","family":"Jiang","sequence":"first","affiliation":[{"name":"National University of Singapore, Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-0969-6891","authenticated-orcid":false,"given":"Jiahao","family":"Liu","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4008-9225","authenticated-orcid":false,"given":"Jinsheng","family":"Ba","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1188-7474","authenticated-orcid":false,"given":"Roland H. C.","family":"Yap","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7138-5030","authenticated-orcid":false,"given":"Zhenkai","family":"Liang","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8303-2099","authenticated-orcid":false,"given":"Manuel","family":"Rigger","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,2,6]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Sjoerd Mullender Andreas Seltenreich Bo Tang. [n. d.]. https:\/\/github.com\/anse1\/sqlsmith."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1322432.1322433"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Asim Ansari Skander Essegaier and Rajeev Kohli. 2000. Internet recommendation systems.","DOI":"10.1509\/jmkr.37.3.363.18779"},{"key":"e_1_3_2_1_4_1","unstructured":"Apache. [n. d.]. https:\/\/tinkerpop.apache.org\/."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00174"},{"key":"e_1_3_2_1_6_1","volume-title":"The oracle problem in software testing: A survey","author":"Barr Earl T","year":"2014","unstructured":"Earl T Barr, Mark Harman, Phil McMinn, Muzammil Shahbaz, and Shin Yoo. 2014. The oracle problem in software testing: A survey. IEEE transactions on software engineering 41, 5 (2014), 507--525."},{"key":"e_1_3_2_1_7_1","unstructured":"Bitnine. [n. d.]. http:\/\/www.agensgraph.org\/."},{"key":"e_1_3_2_1_8_1","volume-title":"USENIX Security Symposium","volume":"15","author":"Brumley David","year":"2007","unstructured":"David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, and Dawn Song. 2007. Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation.. In USENIX Security Symposium, Vol. 15."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.4018\/jwsr.2007040103"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2046707.2046737"},{"key":"e_1_3_2_1_11_1","volume-title":"Metamorphic testing: a new approach for generating next test cases. arXiv preprint arXiv:2002.12543","author":"Chen Tsong Y","year":"2002","unstructured":"Tsong Y Chen, Shing C Cheung, and Shiu Ming Yiu. 2002. Metamorphic testing: a new approach for generating next test cases. arXiv preprint arXiv:2002.12543 (2002)."},{"key":"e_1_3_2_1_12_1","volume-title":"Huai Liu, and Xiaoyuan Xie.","author":"Chen Tsong Yueh","year":"2009","unstructured":"Tsong Yueh Chen, Joshua WK Ho, Huai Liu, and Xiaoyuan Xie. 2009. An innovative approach for testing bioinformatics programs using metamorphic testing. BMC bioinformatics 10, 1 (2009), 1--12."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3143561","article-title":"Metamorphic testing: A review of challenges and opportunities","volume":"51","author":"Chen Tsong Yueh","year":"2018","unstructured":"Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, Pak-Lok Poon, Dave Towey, TH Tse, and Zhi Quan Zhou. 2018. Metamorphic testing: A review of challenges and opportunities. ACM Computing Surveys (CSUR) 51, 1 (2018), 1--27.","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908095"},{"key":"e_1_3_2_1_15_1","unstructured":"DB-Engines. [n. d.]. https:\/\/db-engines.com\/en\/ranking\/graph+dbms."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Wenqi Fan Yao Ma Qing Li Yuan He Eric Zhao Jiliang Tang and Dawei Yin. 2019. Graph neural networks for social recommendation. In The world wide web conference. 417--426.","DOI":"10.1145\/3308558.3313488"},{"key":"e_1_3_2_1_17_1","volume-title":"Griffin: Grammar-Free DBMS Fuzzing. In Conference on Automated Software Engineering (ASE'22)","author":"Fu Jingzhou","year":"2022","unstructured":"Jingzhou Fu, Jie Liang, Zhiyong Wu, Mingzhe Wang, and Yu Jiang. 2022. Griffin: Grammar-Free DBMS Fuzzing. In Conference on Automated Software Engineering (ASE'22)."},{"key":"e_1_3_2_1_18_1","unstructured":"HugeGraph. [n. d.]. https:\/\/hugegraph.apache.org\/."},{"key":"e_1_3_2_1_19_1","unstructured":"JanusGraph. [n. d.]. https:\/\/janusgraph.org\/."},{"key":"e_1_3_2_1_20_1","volume-title":"DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation. In 32st USENIX Security Symposium (USENIX Security 23)","author":"Jiang Zu-Ming","year":"2023","unstructured":"Zu-Ming Jiang, Jia-Ju Bai, and Zhendong Su. 2023. DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation. In 32st USENIX Security Symposium (USENIX Security 23)."},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the 46th International Conference on Very Large Data Bases (VLDB","author":"Jung Jinho","year":"2020","unstructured":"Jinho Jung, Hong Hu, Joy Arulraj, Taesoo Kim, and Woonhak Kang. 2020. APOLLO: Automatic Detection and Diagnosis of Performance Regressions in Database Systems. In Proceedings of the 46th International Conference on Very Large Data Bases (VLDB 2020). Tokyo, Japan."},{"key":"e_1_3_2_1_22_1","unstructured":"Matteo Kamm. 2022. Testing Graph Databases using Predicate Partitioning. Master's thesis. ETH Zurich."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243804"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCN.2011.6115306"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","unstructured":"Vu Le Mehrdad Afshari and Zhendong Su. 2014. Compiler validation via equivalence modulo inputs. (2014) 216--226. 10.1145\/2594291.2594334","DOI":"10.1145\/2594291.2594334"},{"key":"e_1_3_2_1_26_1","volume-title":"Detecting Logical Bugs of DBMS with Coverage-based Guidance. In 31st USENIX Security Symposium (USENIX Security 22)","author":"Liang Yu","year":"2022","unstructured":"Yu Liang, Song Liu, and Hong Hu. 2022. Detecting Logical Bugs of DBMS with Coverage-based Guidance. In 31st USENIX Security Symposium (USENIX Security 22). USENIX Association, Boston, MA, 4309--4326."},{"key":"e_1_3_2_1_27_1","volume-title":"GD-smith: Detecting Bugs in Graph Database Engines. arXiv preprint arXiv:2206.08530","author":"Lin Wei","year":"2022","unstructured":"Wei Lin, Ziyue Hua, Luyao Ren, Zongyang Li, Lu Zhang, and Tao Xie. 2022. GD-smith: Detecting Bugs in Graph Database Engines. arXiv preprint arXiv:2206.08530 (2022)."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534379"},{"key":"e_1_3_2_1_29_1","volume-title":"Learning Graph-based Code Representations for Source-level Functional Similarity Detection. In 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). IEEE, 345--357","author":"Liu Jiahao","year":"2023","unstructured":"Jiahao Liu, Jun Zeng, Xiang Wang, and Zhenkai Liang. 2023. Learning Graph-based Code Representations for Source-level Functional Similarity Detection. In 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). IEEE, 345--357."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510093"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468573"},{"key":"e_1_3_2_1_32_1","unstructured":"MarketsandMarkets. [n. d.]. Graph Database Market. https:\/\/www.marketsandmarkets.com\/Market-Reports\/graph-database-market-126230231.html."},{"key":"e_1_3_2_1_33_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. Digital Technical Journal 10, 1 (1998), 100--107.","journal-title":"Digital Technical Journal"},{"key":"e_1_3_2_1_34_1","unstructured":"MemGraph. [n. d.]. https:\/\/memgraph.com\/."},{"key":"e_1_3_2_1_35_1","unstructured":"Neo4j. [n. d.]. https:\/\/neo4j.com\/developer\/cypher\/."},{"key":"e_1_3_2_1_36_1","unstructured":"OpenCypher. 2019. Cypher Technology Compatibility Kit Report of Overview of Language Coverage in Cypher-for-Gremlin. https:\/\/opencypher.github.io\/cypher-for-gremlin\/test-reports\/1.0.4\/cucumber-html-reports\/overview-features.html."},{"key":"e_1_3_2_1_37_1","unstructured":"Neo4j Graph Platform. [n. d.]. https:\/\/neo4j.com\/."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/BioMedCom.2012.18"},{"key":"e_1_3_2_1_39_1","unstructured":"Redis. [n. d.]. https:\/\/github.com\/RedisGraph\/RedisGraph."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/245108.245121"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409710"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428279"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428279"},{"key":"e_1_3_2_1_44_1","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Rigger Manuel","year":"2020","unstructured":"Manuel Rigger and Zhendong Su. 2020. Testing Database Engines via Pivoted Query Synthesis. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). USENIX Association, Banff, Alberta."},{"key":"e_1_3_2_1_45_1","volume-title":"VLDB","volume":"98","author":"Slutz Donald R","year":"1998","unstructured":"Donald R Slutz. 1998. Massive stochastic testing of SQL. In VLDB, Vol. 98. Citeseer, 618--622."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00175"},{"key":"e_1_3_2_1_47_1","unstructured":"TinkerPop. [n. d.]. https:\/\/tinkerpop.apache.org\/gremlin.html."},{"key":"e_1_3_2_1_48_1","unstructured":"Website. 1988. TPC-H Benchmark. https:\/\/www.tpc.org\/tpch\/. Accessed: 2023-03-15."},{"key":"e_1_3_2_1_49_1","volume-title":"American Fuzzy Lop (AFL) Fuzzer","unstructured":"Website. 2013. American Fuzzy Lop (AFL) Fuzzer. http:\/\/lcamtuf.coredump.cx\/afl\/technical_details.txt. Accessed: 2023-03-15."},{"key":"e_1_3_2_1_50_1","unstructured":"Wikipedia. [n. d.]. Bijection injection and surjection. https:\/\/en.wikipedia.org\/wiki\/Bijection _injection_and_surjection."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1772690.1772790"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.44"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833669"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534409"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417260"}],"event":{"name":"ICSE '24: IEEE\/ACM 46th International Conference on Software Engineering","location":"Lisbon Portugal","acronym":"ICSE '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"]},"container-title":["Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3623307","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597503.3623307","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:45Z","timestamp":1750182525000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3623307"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2,6]]},"references-count":56,"alternative-id":["10.1145\/3597503.3623307","10.1145\/3597503"],"URL":"https:\/\/doi.org\/10.1145\/3597503.3623307","relation":{},"subject":[],"published":{"date-parts":[[2024,2,6]]},"assertion":[{"value":"2024-02-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}