{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:00:29Z","timestamp":1750309229010,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":65,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T00:00:00Z","timestamp":1720569600000},"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":[[2024,7,10]]},"DOI":"10.1145\/3663529.3663828","type":"proceedings-article","created":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T19:43:13Z","timestamp":1720640593000},"page":"62-73","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["How Well Industry-Level Cause Bisection Works in Real-World: A Study on Linux Kernel"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-4909-3022","authenticated-orcid":false,"given":"Kangzheng","family":"Gu","sequence":"first","affiliation":[{"name":"Fudan University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0726-9996","authenticated-orcid":false,"given":"Yuan","family":"Zhang","sequence":"additional","affiliation":[{"name":"Fudan University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-8797-2491","authenticated-orcid":false,"given":"Jiajun","family":"Cao","sequence":"additional","affiliation":[{"name":"Fudan University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-9018-0386","authenticated-orcid":false,"given":"Xin","family":"Tan","sequence":"additional","affiliation":[{"name":"Fudan University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9714-5545","authenticated-orcid":false,"given":"Min","family":"Yang","sequence":"additional","affiliation":[{"name":"Fudan University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,7,10]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2019. Syzbot bisection analysis. https:\/\/groups.google.com\/g\/syzkaller\/c\/sR8aAXaWEF4\/m\/tTWYRgvmAwAJ"},{"key":"e_1_3_2_1_2_1","unstructured":"2021. Serious Security: The Linux kernel bugs that surfaced after 15 years. https:\/\/nakedsecurity.sophos.com\/2021\/03\/17\/serious-security-the-linux-kernel-bugs-that-surfaced-after-15-years"},{"key":"e_1_3_2_1_3_1","unstructured":"2023. A guide to the Kernel Development Process. https:\/\/www.kernel.org\/doc\/html\/latest\/process\/submitting-patches.html"},{"key":"e_1_3_2_1_4_1","unstructured":"2023. Bisection in OSV.. https:\/\/github.com\/google\/osv.dev"},{"key":"e_1_3_2_1_5_1","unstructured":"2023. Bisection in Syzbot.. https:\/\/github.com\/google\/syzkaller\/blob\/master\/docs\/syzbot.md####bisection"},{"key":"e_1_3_2_1_6_1","unstructured":"2023. ClusterFuzz. https:\/\/google.github.io\/clusterfuzz"},{"key":"e_1_3_2_1_7_1","unstructured":"2023. Mailing list about Syzbot-bug-39b72114.. https:\/\/groups.google.com\/g\/syzkaller-bugs\/c\/RYROqSKy2qY\/m\/risLySvtEQAJ"},{"key":"e_1_3_2_1_8_1","unstructured":"2023. Mailing list about Syzbot-bug-c54b440c.. https:\/\/groups.google.com\/g\/syzkaller-bugs\/c\/DCP4rJ6UInM\/m\/YH25wC4fCgAJ"},{"key":"e_1_3_2_1_9_1","unstructured":"2023. OSS-Fuzz. https:\/\/github.com\/google\/oss-fuzz"},{"key":"e_1_3_2_1_10_1","unstructured":"2023. Syzbot. https:\/\/github.com\/google\/syzkaller\/ blob\/master\/docs\/syzbot.md."},{"key":"e_1_3_2_1_11_1","unstructured":"2023. Syzbot dashboard.. https:\/\/syzkaller.appspot.com"},{"key":"e_1_3_2_1_12_1","unstructured":"2023. Syzbot dashboard of Linux upstream. https:\/\/syzkaller.appspot.com\/upstream"},{"key":"e_1_3_2_1_13_1","unstructured":"2023. Syzkaller. https:\/\/github.com\/google\/syzkaller"},{"key":"e_1_3_2_1_14_1","volume-title":"2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 1126\u20131130","author":"Abreu Rui","year":"2021","unstructured":"Rui Abreu, Franjo Ivan\u010di\u0107, Filip Nik\u0161i\u0107, Hadi Ravanbakhsh, and Ramesh Viswanathan. 2021. Reducing time-to-fix for fuzzer bugs. In 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 1126\u20131130."},{"key":"e_1_3_2_1_15_1","volume-title":"2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). 589\u2013601","author":"An Gabin","year":"2023","unstructured":"Gabin An, Jingun Hong, Naryeong Kim, and Shin Yoo. 2023. Fonte: Finding Bug Inducing Commits from Failures. In 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). 589\u2013601."},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 1459\u20131462","author":"An Gabin","year":"2021","unstructured":"Gabin An and Shin Yoo. 2021. Reducing the search space of bug inducing commits using failure coverage. In Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 1459\u20131462."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1287\/isre.1080.0226"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2160718.2160742"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510113"},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of the 49th Annual IEEE Symposium on Foundations of Computer Science (FOCS). 221\u2013230","author":"Ben-Or Michael","year":"2008","unstructured":"Michael Ben-Or and Avinatan Hassidim. 2008. The bayesian learner is optimal for noisy binary search (and pretty good for quantum as well). In Proceedings of the 49th Annual IEEE Symposium on Foundations of Computer Science (FOCS). 221\u2013230."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s41019-016-0019-8"},{"key":"e_1_3_2_1_22_1","volume-title":"Information Security: 18th International Conference (ISC). 102\u2013119","author":"Othmane Lotfi","year":"2015","unstructured":"Lotfi ben Othmane, Golriz Chehrazi, Eric Bodden, Petar Tsalovski, Achim D Brucker, and Philip Miseldine. 2015. Factors impacting the effort required to fix security vulnerabilities: An industrial case study. In Information Security: 18th International Conference (ISC). 102\u2013119."},{"key":"e_1_3_2_1_23_1","volume-title":"13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)","author":"Bhagwan Ranjita","year":"2018","unstructured":"Ranjita Bhagwan, Rahul Kumar, Chandra Sekhar Maddila, and Adithya Abraham Philip. 2018. Orca: Differential Bug Localization in $Large-Scale$ Services. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). 493\u2013509."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106292"},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of the 29th USENIX Security Symposium (USENIX Security). 235\u2013252","author":"Blazytko Tim","year":"2020","unstructured":"Tim Blazytko, Moritz Schl\u00f6gel, Cornelius Aschermann, Ali Abbasi, Joel Frank, Simon W\u00f6rner, and Thorsten Holz. 2020. AURORA: Statistical crash analysis for automated root cause explanation. In Proceedings of the 29th USENIX Security Symposium (USENIX Security). 235\u2013252."},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of the 2018 IEEE Symposium on Security and Privacy (SP). 711\u2013725","author":"Chen Peng","year":"2018","unstructured":"Peng Chen and Hao Chen. 2018. Angora: Efficient Fuzzing by Principled Search. In Proceedings of the 2018 IEEE Symposium on Security and Privacy (SP). 711\u2013725."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510042"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2616306"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the 28th ACM SIGSAC Conference on Computer and Communications Security (CCS). 3300\u20133317","author":"Dai Jiarun","year":"2021","unstructured":"Jiarun Dai, Yuan Zhang, Hailong Xu, Haiming Lyu, Zicheng Wu, Xinyu Xing, and Min Yang. 2021. Facilitating vulnerability assessment through PoC migration. In Proceedings of the 28th ACM SIGSAC Conference on Computer and Communications Security (CCS). 3300\u20133317."},{"volume-title":"Combinatorial Algorithms - 32nd International Workshop (Lecture Notes in Computer Science","author":"Dereniowski Dariusz","key":"e_1_3_2_1_30_1","unstructured":"Dariusz Dereniowski, Aleksander Lukasiewicz, and Przemyslaw Uznanski. 2021. An Efficient Noisy Binary Search in Graphs via Median Approximation. In Combinatorial Algorithms - 32nd International Workshop (Lecture Notes in Computer Science, Vol. 12757). Springer, 265\u2013281."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2017.69"},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of the 18th IEEE\/ACM International Conference on Mining Software Repositories (MSR). 131\u2013142","author":"Ding Zhen Yu","year":"2021","unstructured":"Zhen Yu Ding and Claire Le Goues. 2021. An Empirical Study of OSS-Fuzz Bugs. In Proceedings of the 18th IEEE\/ACM International Conference on Mining Software Repositories (MSR). 131\u2013142."},{"key":"e_1_3_2_1_33_1","volume-title":"Flake Aware Culprit Finding. In 2023 IEEE Conference on Software Testing, Verification and Validation (ICST). 362\u2013373","author":"Henderson Tim AD","year":"2023","unstructured":"Tim AD Henderson, Bobby Dorward, Eric Nickell, Collin Johnston, and Avi Kondareddy. 2023. Flake Aware Culprit Finding. In 2023 IEEE Conference on Software Testing, Verification and Validation (ICST). 362\u2013373."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1963.1057832"},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the ACM international conference on Object oriented programming systems languages and applications. 451\u2013466","author":"Huang Jeff","year":"2012","unstructured":"Jeff Huang and Charles Zhang. 2012. Lean: Simplifying concurrency bug reproduction via replay-supported execution reduction. In Proceedings of the ACM international conference on Object oriented programming systems languages and applications. 451\u2013466."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2462167"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3552326.3567486"},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. 3318\u20133336","author":"Jiang Zhiyuan","year":"2021","unstructured":"Zhiyuan Jiang, Xiyue Jiang, Ahmad Hazimeh, Chaojing Tang, Chao Zhang, and Mathias Payer. 2021. Igor: Crash Deduplication Through Root-Cause Clustering. In Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. 3318\u20133336."},{"key":"e_1_3_2_1_39_1","volume-title":"Proceedings of the 2023 IEEE Symposium on Security and Privacy (SP). 588\u2013603","author":"Jiang Zheyue","year":"2023","unstructured":"Zheyue Jiang, Yuan Zhang, Jun Xu, Xinqian Sun, Zhuang Liu, and Min Yang. 2023. AEM: Facilitating Cross-Version Exploitability Assessment of Linux Kernel Vulnerabilities. In Proceedings of the 2023 IEEE Symposium on Security and Privacy (SP). 588\u2013603."},{"key":"e_1_3_2_1_40_1","volume-title":"Proceedings of the 18th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). 881\u2013890","author":"Karp Richard M","year":"2007","unstructured":"Richard M Karp and Robert Kleinberg. 2007. Noisy binary search and its applications. In Proceedings of the 18th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). 881\u2013890."},{"key":"e_1_3_2_1_41_1","volume-title":"Proceedings of the 27th Annual Network and Distributed System Security Symposium (NDSS).","author":"Kim Kyungtae","year":"2020","unstructured":"Kyungtae Kim, Dae R. Jeong, Chung Hwan Kim, Yeongjin Jang, Insik Shin, and Byoungyoung Lee. 2020. HFL: Hybrid Fuzzing on the Linux Kernel. In Proceedings of the 27th Annual Network and Distributed System Security Symposium (NDSS)."},{"key":"e_1_3_2_1_42_1","volume-title":"Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 1509\u20131520","author":"Leesatapornwongsa Tanakorn","year":"2022","unstructured":"Tanakorn Leesatapornwongsa, Xiang Ren, and Suman Nath. 2022. FlakeRepro: automated and efficient reproduction of concurrency-related flaky tests. In Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 1509\u20131520."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534380"},{"key":"e_1_3_2_1_44_1","volume-title":"Proceedings of the 28th USENIX Security Symposium (USENIX Security). 1949\u20131966","author":"Lyu Chenyang","year":"2019","unstructured":"Chenyang Lyu, Shouling Ji, Chao Zhang, Yuwei Li, Wei-Han Lee, Yu Song, and Raheem Beyah. 2019. MOPT: Optimized Mutation Scheduling for Fuzzers. In Proceedings of the 28th USENIX Security Symposium (USENIX Security). 1949\u20131966."},{"key":"e_1_3_2_1_45_1","volume-title":"Proceedings of the 29th Annual Network and Distributed System Security Symposium (NDSS).","author":"Mu Dongliang","year":"2022","unstructured":"Dongliang Mu, Yuhang Wu, Yueqi Chen, Zhenpeng Lin, Chensheng Yu, Xinyu Xing, and Gang Wang. 2022. An In-depth Analysis of Duplicated Linux Kernel Bug Reports. In Proceedings of the 29th Annual Network and Distributed System Security Symposium (NDSS)."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEIP52600.2021.00028"},{"key":"e_1_3_2_1_47_1","volume-title":"Piramanayagam Arumuga Nainar, and Iulian Neamtiu","author":"Musuvathi Madanlal","year":"2008","unstructured":"Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gerard Basler, Piramanayagam Arumuga Nainar, and Iulian Neamtiu. 2008. Finding and Reproducing Heisenbugs in Concurrent Programs.. In OSDI. 8."},{"key":"e_1_3_2_1_48_1","volume-title":"2020 IEEE international conference on software maintenance and evolution (ICSME). 605\u2013616","author":"Rahman Mohammad Masudur","year":"2020","unstructured":"Mohammad Masudur Rahman, Foutse Khomh, and Marco Castelluccio. 2020. Why are Some Bugs Non-Reproducible?:\u2013An Empirical Investigation using Data Fusion\u2013. In 2020 IEEE international conference on software maintenance and evolution (ICSME). 605\u2013616."},{"key":"e_1_3_2_1_49_1","volume-title":"Proceedings of the 24th Annual Network and Distributed System Security Symposium (NDSS).","author":"Rawat Sanjay","year":"2017","unstructured":"Sanjay Rawat, Vivek Jain, Ashish Kumar, Lucian Cojocar, Cristiano Giuffrida, and Herbert Bos. 2017. VUzzer: Application-aware Evolutionary Fuzzing. In Proceedings of the 24th Annual Network and Distributed System Security Symposium (NDSS)."},{"key":"e_1_3_2_1_50_1","volume-title":"2021 IEEE\/ACM 43rd International Conference on Software Engineering (ICSE). 436\u2013447","author":"Rosa Giovanni","year":"2021","unstructured":"Giovanni Rosa, Luca Pascarella, Simone Scalabrino, Rosalia Tufano, Gabriele Bavota, Michele Lanza, and Rocco Oliveto. 2021. Evaluating szz implementations through a developer-informed oracle. In 2021 IEEE\/ACM 43rd International Conference on Software Engineering (ICSE). 436\u2013447."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3239235.3267440"},{"key":"e_1_3_2_1_52_1","volume-title":"Proceedings of the 26th USENIX Security Symposium (USENIX Security). 167\u2013182","author":"Schumilo Sergej","year":"2017","unstructured":"Sergej Schumilo, Cornelius Aschermann, Robert Gawlik, Sebastian Schinzel, and Thorsten Holz. 2017. kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels. In Proceedings of the 26th USENIX Security Symposium (USENIX Security). 167\u2013182."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"crossref","unstructured":"David J Sheskin. 2020. Handbook of parametric and nonparametric statistical procedures. crc Press.","DOI":"10.1201\/9780429186196"},{"key":"e_1_3_2_1_54_1","volume-title":"When do changes induce fixes? ACM sigsoft software engineering notes, 30, 4","author":"\u015aliwerski Jacek","year":"2005","unstructured":"Jacek \u015aliwerski, Thomas Zimmermann, and Andreas Zeller. 2005. When do changes induce fixes? ACM sigsoft software engineering notes, 30, 4 (2005), 1\u20135."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483547"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1137\/120861898"},{"key":"e_1_3_2_1_57_1","volume-title":"Proceedings of the 30th USENIX Security Symposium (USENIX Security). 2741\u20132758","author":"Wang Daimeng","year":"2021","unstructured":"Daimeng Wang, Zheng Zhang, Hang Zhang, Zhiyun Qian, Srikanth V. Krishnamurthy, and Nael Abu-Ghazaleh. 2021. SyzVegas: Beating Kernel Fuzzing Odds with Reinforcement Learning. In Proceedings of the 30th USENIX Security Symposium (USENIX Security). 2741\u20132758."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736039"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970359"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2521368"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-017-9567-4"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106266"},{"key":"e_1_3_2_1_63_1","volume-title":"2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering. 1, 824\u2013834","author":"Yuan Xiang","year":"2015","unstructured":"Xiang Yuan, Chenggang Wu, Zhenjiang Wang, Jianjun Li, Pen-Chung Yew, Jeff Huang, Xiaobing Feng, Yanyan Lan, Yunji Chen, and Yong Guan. 2015. ReCBuLC: reproducing concurrency bugs using local clocks. In 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering. 1, 824\u2013834."},{"key":"e_1_3_2_1_64_1","volume-title":"Proceedings of the 19th Working Conference on Reverse Engineering (WCRE). 225\u2013234","author":"Zhang Feng","year":"2012","unstructured":"Feng Zhang, Foutse Khomh, Ying Zou, and Ahmed E Hassan. 2012. An empirical study on factors impacting bug fixing time. In Proceedings of the 19th Working Conference on Reverse Engineering (WCRE). 225\u2013234."},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454101"}],"event":{"name":"FSE '24: 32nd ACM International Conference on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Porto de Galinhas Brazil","acronym":"FSE '24"},"container-title":["Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3663529.3663828","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3663529.3663828","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:44:21Z","timestamp":1750290261000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3663529.3663828"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,10]]},"references-count":65,"alternative-id":["10.1145\/3663529.3663828","10.1145\/3663529"],"URL":"https:\/\/doi.org\/10.1145\/3663529.3663828","relation":{},"subject":[],"published":{"date-parts":[[2024,7,10]]},"assertion":[{"value":"2024-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}