{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T07:12:58Z","timestamp":1779174778348,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,3,22]]},"DOI":"10.1145\/3779212.3790215","type":"proceedings-article","created":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T13:55:26Z","timestamp":1773150926000},"page":"1677-1692","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Scaling Automated Database System Testing"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-0341-7362","authenticated-orcid":false,"given":"Suyang","family":"Zhong","sequence":"first","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":[[2026,3,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2021. Jazzer: Coverage-guided in-process fuzzing for the JVM. https:\/\/github.com\/CodeIntelligenceTesting\/jazzer."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00174"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639076"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3654991"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3340456"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462173"},{"key":"e_1_3_2_1_7_1","volume-title":"Market Report","author":"Research Company The Business","year":"2024","unstructured":"The Business Research Company. 2024. Database Software Global Market Report 2024. Research and Markets. https:\/\/www. researchandmarkets.com\/report\/database-software"},{"key":"e_1_3_2_1_8_1","volume-title":"14th USENIX Workshop on Offensive Technologies (WOOT 20)","author":"Fioraldi Andrea","year":"2020","unstructured":"Andrea Fioraldi, Dominik Maier, Heiko Ei\u00dffeldt, and Marc Heuse. 2020. {AFL}: Combining incremental steps of fuzzing research. In 14th USENIX Workshop on Offensive Technologies (WOOT 20)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3560431"},{"key":"e_1_3_2_1_10_1","unstructured":"Xiyue Gao Zhuang Liu Jiangtao Cui Hui Li Hui Zhang Kewei Wei and Kankan Zhao. 2023. A Comprehensive Survey on Database Management System Fuzzing: Techniques Taxonomy and Experimental Comparison. arXiv:2311.06728 [cs.DB]"},{"key":"e_1_3_2_1_11_1","volume-title":"Bayesian data analysis","author":"Gelman Andrew","unstructured":"Andrew Gelman, John B Carlin, Hal S Stern, and Donald B Rubin. 1995. Bayesian data analysis. Chapman and Hall\/CRC."},{"key":"e_1_3_2_1_12_1","unstructured":"Google. 2016. Honggfuzz. https:\/\/honggfuzz.dev\/. Accessed: 2024-03-30."},{"key":"e_1_3_2_1_13_1","unstructured":"Google. 2018. ClusterFuzz - Scalable Fuzzing Infrastructure. https: \/\/google.github.io\/clusterfuzz\/. Accessed: 2024-03-30."},{"key":"e_1_3_2_1_14_1","unstructured":"Google. 2023. syzkaller: unsupervised coverage-guided kernel fuzzer. https:\/\/github.com\/google\/syzkaller. Accessed: 2024-02-20."},{"key":"e_1_3_2_1_15_1","first-page":"345","volume-title":"Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis. In 2023 USENIX Annual Technical Conference (USENIX ATC 23)","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 2023 USENIX Annual Technical Conference (USENIX ATC 23). 345-358."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3318464.3389704"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3299869.3314041"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the 29th USENIX Conference on Security Symposium (SEC'20)","author":"Ispoglou Kyriakos K.","year":"2020","unstructured":"Kyriakos K. Ispoglou, Daniel Austin, Vishwath Mohan, and Mathias Payer. 2020. FuzzGen: automatic fuzzer generation. In Proceedings of the 29th USENIX Conference on Security Symposium (SEC'20). USENIX Association, USA, Article 128, 17 pages."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3485364"},{"key":"e_1_3_2_1_20_1","first-page":"4949","volume-title":"DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation. In 32nd 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 32nd USENIX Security Symposium (USENIX Security 23). USENIX Association, Anaheim, CA, 4949-4965. https:\/\/www.usenix.org\/conference\/usenixsecurity23\/ presentation\/jiang-zu-ming"},{"key":"e_1_3_2_1_21_1","first-page":"397","volume-title":"17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23)","author":"Jiang Zu-Ming","year":"2023","unstructured":"Zu-Ming Jiang, Si Liu, Manuel Rigger, and Zhendong Su. 2023. Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction. In 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). USENIX Association, Boston, MA, 397-417. https:\/\/www.usenix.org\/conference\/osdi23\/presentation\/jiang"},{"key":"e_1_3_2_1_22_1","first-page":"821","volume-title":"18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24)","author":"Jiang Zu-Ming","year":"2024","unstructured":"Zu-Ming Jiang and Zhendong Su. 2024. Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation. In 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). USENIX Association, Santa Clara, CA, 821-835. https: \/\/www.usenix.org\/conference\/osdi24\/presentation\/jiang"},{"key":"e_1_3_2_1_23_1","volume-title":"Farview: Disaggregated Memory with Operator Off-loading for Database Engines. In 12th Conference on Innovative Data Systems Research, CIDR 2022","author":"Korolija Dario","year":"2022","unstructured":"Dario Korolija, Dimitrios Koutsoukos, Kimberly Keeton, Konstantin Taranov, Dejan S. Milojicic, and Gustavo Alonso. 2022. Farview: Disaggregated Memory with Operator Off-loading for Database Engines. In 12th Conference on Innovative Data Systems Research, CIDR 2022, Chaminade, CA, USA, January 9-12, 2022. www.cidrdb.org. https: \/\/www.cidrdb.org\/cidr2022\/papers\/p11-korolija.pdf"},{"key":"e_1_3_2_1_24_1","volume-title":"Ani Kristo, Guillaume Leclerc, Samuel Madden, Hongzi Mao, and Vikram Nathan.","author":"Kraska Tim","year":"2019","unstructured":"Tim Kraska, Mohammad Alizadeh, Alex Beutel, Ed H. Chi, Ani Kristo, Guillaume Leclerc, Samuel Madden, Hongzi Mao, and Vikram Nathan. 2019. SageDB: A Learned Database System. In 9th Biennial Conference on Innovative Data Systems Research, CIDR 2019, Asilomar, CA, USA, January 13-16, 2019, Online Proceedings. www.cidrdb.org. http:\/\/cidrdb.org\/cidr2019\/papers\/p117-kraska-cidr19.pdf"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594334"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3591294"},{"key":"e_1_3_2_1_27_1","first-page":"479","volume-title":"WingFuzz: Implementing Continuous Fuzzing for DBMSs. In 2024 USENIX Annual Technical Conference (USENIX ATC 24)","author":"Liang Jie","year":"2024","unstructured":"Jie Liang, Zhiyong Wu, Jingzhou Fu, Yiyuan Bai, Qiang Zhang, and Yu Jiang. 2024. WingFuzz: Implementing Continuous Fuzzing for DBMSs. In 2024 USENIX Annual Technical Conference (USENIX ATC 24). USENIX Association, Santa Clara, CA, 479-492. https:\/\/www.usenix.org\/conference\/atc24\/presentation\/liang"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639112"},{"key":"e_1_3_2_1_29_1","first-page":"4309","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. https:\/\/www.usenix.org\/conference\/usenixsecurity22\/ presentation\/liang"},{"key":"e_1_3_2_1_30_1","volume-title":"Conformance Testing of Relational DBMS Against SQL Specifications. arXiv preprint arXiv:2406.09469","author":"Liu Shuang","year":"2024","unstructured":"Shuang Liu, Chenglin Tian, Jun Sun, Ruifeng Wang, Wei Lu, Yongxin Zhao, Yinxing Xue, Junjie Wang, and Xiaoyong Du. 2024. Conformance Testing of Relational DBMS Against SQL Specifications. arXiv preprint arXiv:2406.09469 (2024)."},{"key":"e_1_3_2_1_31_1","unstructured":"LLVM Project. 2017. libFuzzer - a library for coverage-guided fuzz testing. https:\/\/llvm.org\/docs\/LibFuzzer.html. Accessed: 2024-03-30."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.14778\/3342263.3342644"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330576"},{"key":"e_1_3_2_1_34_1","unstructured":"PingCAP-Qe. [n.d.]. GitHub - PingCAP-QE\/go-sqlancer: go-sqlancer. https:\/\/github.com\/PingCAP-QE\/go-sqlancer"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409710"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428279"},{"key":"e_1_3_2_1_37_1","first-page":"667","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_38_1","unstructured":"Andreas Seltenreich. 2022. Sqlsmith. https:\/\/github.com\/anse1\/ sqlsmith"},{"key":"e_1_3_2_1_39_1","volume-title":"OSS-Fuzz - Google's continuous fuzzing service for open source software","author":"Serebryany Kostya","unstructured":"Kostya Serebryany. 2017. OSS-Fuzz - Google's continuous fuzzing service for open source software. USENIX Association, Vancouver, BC."},{"key":"e_1_3_2_1_40_1","first-page":"309","volume-title":"AddressSanitizer: A Fast Address Sanity Checker. In 2012 USENIX Annual Technical Conference (USENIX ATC . USENIX Association","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 (USENIX ATC . USENIX Association, Boston, MA, 309-318. https:\/\/www.usenix.org\/conference\/atc12\/technical-sessions\/presentation\/serebryany"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3058746"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/645924.671199"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00175"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.14778\/3659437.3659445"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2015.7054186"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3588909"},{"key":"e_1_3_2_1_48_1","volume-title":"Vitess Fuzzing","year":"2023","unstructured":"Vitess. 2024. Vitess Fuzzing Summer 2023 Internship. https:\/\/vitess.io\/ blog\/2024-04-08-vitess-fuzzing-summer-2023-internship\/. Accessed: 2024-10-09."},{"key":"e_1_3_2_1_49_1","first-page":"901","volume-title":"Towards Generic Database Management System Fuzzing. In 33rd USENIX Security Symposium (USENIX Security 24)","author":"Yang Yupeng","year":"2024","unstructured":"Yupeng Yang, Yongheng Chen, Rui Zhong, Jizhou Chen, and Wenke Lee. 2024. Towards Generic Database Management System Fuzzing. In 33rd USENIX Security Symposium (USENIX Security 24). USENIX Association, Philadelphia, PA, 901-918. https:\/\/www.usenix.org\/conference\/ usenixsecurity24\/presentation\/yang-yupeng"},{"key":"e_1_3_2_1_50_1","unstructured":"Michal Zalewski. 2020. American Fuzzy Lop (AFL). https:\/\/github.com\/google\/AFL. Accessed: 2024-04-16."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"crossref","unstructured":"Cen Zhang Mingqiang Bai Yaowen Zheng Yeting Li Xiaofei Xie Yuekang Li Wei Ma Limin Sun and Yang Liu. 2023. Understanding Large Language Model Based Fuzz Driver Generation. arXiv:2307.12469 [cs.CR]","DOI":"10.1145\/3650212.3680355"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3709674"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3140587.3062379"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417260"}],"event":{"name":"ASPLOS '26: 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems","location":"Pittsburgh PA USA","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","SIGPLAN ACM Special Interest Group on Programming Languages","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2"],"original-title":[],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T14:02:27Z","timestamp":1773583347000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3779212.3790215"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,22]]},"references-count":54,"alternative-id":["10.1145\/3779212.3790215","10.1145\/3779212"],"URL":"https:\/\/doi.org\/10.1145\/3779212.3790215","relation":{},"subject":[],"published":{"date-parts":[[2026,3,22]]},"assertion":[{"value":"2026-03-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}