{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T10:20:47Z","timestamp":1790936447835,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":62,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T00:00:00Z","timestamp":1712880000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62302256"],"award-info":[{"award-number":["62302256"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62022046"],"award-info":[{"award-number":["62022046"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["92167101"],"award-info":[{"award-number":["92167101"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62021002"],"award-info":[{"award-number":["62021002"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002858","name":"China Postdoctoral Science Foundation","doi-asserted-by":"publisher","award":["2023M731953"],"award-info":[{"award-number":["2023M731953"]}],"id":[{"id":"10.13039\/501100002858","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Key Research and Development Project","award":["2022YFB3104000"],"award-info":[{"award-number":["2022YFB3104000"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,12]]},"DOI":"10.1145\/3597503.3639112","type":"proceedings-article","created":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T12:43:26Z","timestamp":1712925806000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["Mozi: Discovering DBMS Bugs via Configuration-Based Equivalent Transformation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1046-0337","authenticated-orcid":false,"given":"Jie","family":"Liang","sequence":"first","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1908-5043","authenticated-orcid":false,"given":"Zhiyong","family":"Wu","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9759-878X","authenticated-orcid":false,"given":"Jingzhou","family":"Fu","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2153-6766","authenticated-orcid":false,"given":"Mingzhe","family":"Wang","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0862-2491","authenticated-orcid":false,"given":"Chengnian","family":"Sun","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, Ontario, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0955-503X","authenticated-orcid":false,"given":"Yu","family":"Jiang","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,4,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Accessed","year":"2024","unstructured":"2023. Null Value Differences in RDBMS. https:\/\/www.linkedin.com\/pulse\/null-value-differences-rdbms-sumit-sengupta. Accessed: January 18, 2024."},{"key":"e_1_3_2_1_2_1","volume-title":"Accessed","year":"2024","unstructured":"2024. SQL Language Reference-ANSI Standards. https:\/\/docs.oracle.com\/en\/database\/oracle\/oracle-database\/19\/sqlrf\/ANSI-Standards.html#GUID-F51EA195-0669-4DED-9D81-B7205AAC642F\/. Accessed: January 18, 2024."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00174"},{"key":"e_1_3_2_1_4_1","unstructured":"Adam Bannister. 2021. SQLite patches use-after-free bug that left apps open to code execution denial-of-service exploits. https:\/\/portswigger.net\/daily-swig\/sqlite-patches-use-after-free-bug-that-left-apps-open-to-code-execution-denial-of-service-exploits. Accessed: January 18 2024."},{"key":"e_1_3_2_1_5_1","volume-title":"Metamorphic testing: a new approach for generating next test cases. arXiv preprint arXiv:2002.12543","author":"Chen Tsong Y","year":"2020","unstructured":"Tsong Y Chen, Shing C Cheung, and Shiu Ming Yiu. 2020. Metamorphic testing: a new approach for generating next test cases. arXiv preprint arXiv:2002.12543 (2020)."},{"key":"e_1_3_2_1_6_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_7_1","volume-title":"USENIX Security Symposium.","author":"Chen Yuanliang","year":"2019","unstructured":"Yuanliang Chen, Yu Jiang, Fuchen Ma, Jie Liang, Mingzhe Wang, Chijin Zhou, Xun Jiao, and Zhuo Su. 2019. EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers. In USENIX Security Symposium."},{"key":"e_1_3_2_1_8_1","volume-title":"Accessed","author":"Cimpanu Catalin","year":"2019","unstructured":"Catalin Cimpanu. 2019. Google Chrome impacted by new Magellan 2.0 vulnerabilities. https:\/\/www.zdnet.com\/article\/google-chrome-impacted-by-new-magellan-2-0-vulnerabilities\/. Accessed: January 18, 2024."},{"key":"e_1_3_2_1_9_1","volume-title":"Accessed","year":"2024","unstructured":"ClickHouse 2024. ClickHouse Website. https:\/\/clickhouse.com\/. Accessed: January 18, 2024."},{"key":"e_1_3_2_1_10_1","volume-title":"Accessed","author":"Community SQL","year":"2014","unstructured":"PostgreSQL Community. 2014. PostgreSQL Bug List. https:\/\/www.postgresql.org\/list\/pgsql-bugs\/. Accessed: January 18, 2024."},{"key":"e_1_3_2_1_11_1","unstructured":"Carlos Coronel and Steven Morris. 2019. Database systems: design implementation and management. Cengage learning."},{"key":"e_1_3_2_1_12_1","volume-title":"Differentially Testing Database Transactions for Fun and Profit. In 37th IEEE\/ACM International Conference on Automated Software Engineering. 1--12","author":"Cui Ziyu","year":"2022","unstructured":"Ziyu Cui, Wensheng Dou, Qianwang Dai, Jiansen Song, Wei Wang, Jun Wei, and Dan Ye. 2022. Differentially Testing Database Transactions for Fun and Profit. In 37th IEEE\/ACM International Conference on Automated Software Engineering. 1--12."},{"key":"e_1_3_2_1_13_1","volume-title":"A Guide to the SQL Standard","author":"Date Chris J","unstructured":"Chris J Date. 1989. A Guide to the SQL Standard. Addison-Wesley Longman Publishing Co., Inc."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.14778\/1687627.1687767"},{"key":"e_1_3_2_1_15_1","volume-title":"Advances in Databases and Information Systems","author":"Elmasri R","unstructured":"R Elmasri, SB Navathe, R Elmasri, and SB Navathe. 2015. Fundamentals of Database Systems. In Advances in Databases and Information Systems. Springer, 139."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3560431"},{"key":"e_1_3_2_1_17_1","volume-title":"SQL: the complete reference","author":"Groff James R","unstructured":"James R Groff, Paul N Weinberg, and Andrew J Oppel. 2002. SQL: the complete reference. Vol. 2. McGraw-Hill\/Osborne."},{"key":"e_1_3_2_1_18_1","volume-title":"Accessed","author":"The PostgreSQL Global Development Group","year":"2023","unstructured":"The PostgreSQL Global Development Group. 2023. PostgreSQL 14.10 Documentation. https:\/\/www.postgresql.org\/files\/documentation\/pdf\/14\/postgresql-14-A4.pdf. Accessed: January 18, 2024."},{"key":"e_1_3_2_1_19_1","volume-title":"Accessed","author":"The PostgreSQL Global Development Group","year":"2023","unstructured":"The PostgreSQL Global Development Group. 2023. Query Planning. https:\/\/www.postgresql.org\/docs\/current\/runtime-config-query.html. Accessed: January 18, 2024."},{"key":"e_1_3_2_1_20_1","volume-title":"Accessed","author":"The PostgreSQL Global Development Group","year":"2024","unstructured":"The PostgreSQL Global Development Group. 2024. EXPLAIN Statement of PostgreSQL. https:\/\/www.postgresql.org\/docs\/current\/sql-explain.html. Accessed: January 18, 2024."},{"key":"e_1_3_2_1_21_1","volume-title":"Accessed","author":"The PostgreSQL Global Development Group","year":"2024","unstructured":"The PostgreSQL Global Development Group. 2024. Using EXPLAIN. https:\/\/www.postgresql.org\/docs\/current\/using-explain.html. Accessed: January 18, 2024."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1356058.1356080"},{"key":"e_1_3_2_1_23_1","volume-title":"Query optimization in database systems. ACM Computing surveys (CsUR) 16, 2","author":"Jarke Matthias","year":"1984","unstructured":"Matthias Jarke and Jurgen Koch. 1984. Query optimization in database systems. ACM Computing surveys (CsUR) 16, 2 (1984), 111--152."},{"key":"e_1_3_2_1_24_1","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."},{"key":"e_1_3_2_1_25_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). Tokyo, Japan."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594334"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.14778\/3352063.3352129"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE55515.2023.00057"},{"key":"e_1_3_2_1_29_1","volume-title":"PAFL: Extend Fuzzing Optimizations of Single Mode to Industrial Parallel Mode.","author":"Liang Jie","year":"2018","unstructured":"Jie Liang, Yu Jiang, Yuanliang Chen, Mingzhe Wang, Chijin Zhou, and Jiaguang Sun. 2018. PAFL: Extend Fuzzing Optimizations of Single Mode to Industrial Parallel Mode."},{"key":"e_1_3_2_1_30_1","volume-title":"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). 4309--4326."},{"key":"e_1_3_2_1_31_1","volume-title":"Accessed","year":"2024","unstructured":"LibFuzzer 2024. LibFuzzer. https:\/\/www.llvm.org\/docs\/LibFuzzer.html. Accessed: January 18, 2024."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.46"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510093"},{"key":"e_1_3_2_1_34_1","volume-title":"Accessed","year":"2024","unstructured":"MariaDB 2024. MariaDB. https:\/\/mariadb.org\/. Accessed: January 18, 2024."},{"key":"e_1_3_2_1_35_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_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/234313.234374"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"e_1_3_2_1_38_1","volume-title":"Accessed","year":"2014","unstructured":"MySQL 2014. MySQL 8.0 Reference Manual, Switchable Optimizations. https:\/\/dev.mysql.com\/doc\/refman\/8.0\/en\/switchable-optimizations.html. Accessed: January 18, 2024."},{"key":"e_1_3_2_1_39_1","volume-title":"Accessed","year":"2024","unstructured":"MySQL 2024. Understanding the Query Execution Plan. https:\/\/dev.mysql.com\/doc\/refman\/8.0\/en\/execution-plan-information.html. Accessed: January 18, 2024."},{"key":"e_1_3_2_1_40_1","volume-title":"Accessed","year":"2014","unstructured":"Oracle. 2014. MySQL Bug List. https:\/\/bugs.mysql.com\/. Accessed: January 18, 2024."},{"key":"e_1_3_2_1_41_1","volume-title":"Accessed","year":"2024","unstructured":"Oracle. 2024. EXPLAIN Statement of MySQL. https:\/\/dev.mysql.com\/doc\/refman\/8.0\/en\/explain.html. Accessed: January 18, 2024."},{"key":"e_1_3_2_1_42_1","volume-title":"Accessed","author":"Oracle","year":"2024","unstructured":"Oracle 2024. MySQL. https:\/\/www.mysql.com\/. Accessed: January 18, 2024."},{"key":"e_1_3_2_1_43_1","volume-title":"Accessed","year":"2024","unstructured":"PostgreSQL 2024. PostgreSQL. https:\/\/www.postgresql.org\/. Accessed: January 18, 2024."},{"key":"e_1_3_2_1_44_1","volume-title":"Accessed","author":"Rigger Manuel","year":"2024","unstructured":"Manuel Rigger. 2024. Bugs found in Database Management Systems. https:\/\/www.manuelrigger.at\/dbms-bugs. Accessed: January 18, 2024."},{"key":"e_1_3_2_1_45_1","volume-title":"Accessed","author":"Rigger Manuel","year":"2024","unstructured":"Manuel Rigger. 2024. SQLancer Website. https:\/\/github.com\/sqlancer\/sqlancer. Accessed: January 18, 2024."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409710"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428279"},{"key":"e_1_3_2_1_48_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). 667--682."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2532875"},{"key":"e_1_3_2_1_50_1","unstructured":"Andreas Seltenreich Bo Tang and Sjoerd Mullender. 2018. SQLsmith: a random SQL query generator. https:\/\/github.com\/anse1\/sqlsmith"},{"key":"e_1_3_2_1_51_1","volume-title":"AddressSanitizer: A Fast Address Sanity Checker. In 2012 USENIX Annual Technical Conference","author":"Serebryany Konstantin","year":"2012","unstructured":"Konstantin Serebryany, Derek Bruening, Alexander Potapenko, and Dmitriy Vyukov. 2012. AddressSanitizer: A Fast Address Sanity Checker. In 2012 USENIX Annual Technical Conference, Boston, MA, USA, June 13--15, 2012, Gernot Heiser and Wilson C. Hsieh (Eds.). USENIX Association, 309--318. https:\/\/www.usenix.org\/conference\/atc12\/technical-sessions\/presentation\/serebryany"},{"key":"e_1_3_2_1_52_1","volume-title":"VLDB'98, Proceedings of 24rd International Conference on Very Large Data Bases","author":"Slutz Donald R.","unstructured":"Donald R. Slutz. 1998. Massive Stochastic Testing of SQL. In VLDB'98, Proceedings of 24rd International Conference on Very Large Data Bases, New York, USA. Morgan Kaufmann, 618--622."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00175"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3064029"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.14778\/3450980.3450992"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523428"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEIP52600.2021.00042"},{"key":"e_1_3_2_1_58_1","volume-title":"Accessed","author":"Wikipedia","year":"2024","unstructured":"Wikipedia 2024. databases. https:\/\/en.wikipedia.org\/wiki\/Database. Accessed: January 18, 2024."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534364"},{"key":"e_1_3_2_1_60_1","volume-title":"Accessed","author":"Zalewski Micha\u0142","year":"2017","unstructured":"Micha\u0142 Zalewski. 2017. american fuzzy lop. http:\/\/lcamtuf.coredump.cx\/afl\/. Accessed: January 18, 2024."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3514221.3526176"},{"key":"e_1_3_2_1_62_1","volume-title":"Squirrel: Testing Database Management Systems with Language Validity and Coverage Feedback. In The ACM Conference on Computer and Communications Security (CCS)","author":"Zhong Rui","year":"2020","unstructured":"Rui Zhong, Yongheng Chen, Hong Hu, Hangfan Zhang, Wenke Lee, and Dinghao Wu. 2020. Squirrel: Testing Database Management Systems with Language Validity and Coverage Feedback. In The ACM Conference on Computer and Communications Security (CCS), 2020."}],"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.3639112","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597503.3639112","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:49:11Z","timestamp":1750272551000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3639112"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,12]]},"references-count":62,"alternative-id":["10.1145\/3597503.3639112","10.1145\/3597503"],"URL":"https:\/\/doi.org\/10.1145\/3597503.3639112","relation":{},"subject":[],"published":{"date-parts":[[2024,4,12]]},"assertion":[{"value":"2024-04-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}