{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:54:08Z","timestamp":1760043248174,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,14]],"date-time":"2024-04-14T00:00:00Z","timestamp":1713052800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Natural Science Foundation of China","award":["62302493","62072444","U20A6003"],"award-info":[{"award-number":["62302493","62072444","U20A6003"]}]},{"name":"Major Program (JD) of Hubei Province","award":["2023BAA018"],"award-info":[{"award-number":["2023BAA018"]}]},{"name":"Major Project of ISCAS","award":["ISCAS-ZD-202302"],"award-info":[{"award-number":["ISCAS-ZD-202302"]}]},{"name":"China Southern Power Grid Company Limited under Project","award":["037800KK52220005"],"award-info":[{"award-number":["037800KK52220005"]}]},{"name":"Youth Innovation Promotion Association at Chinese Academy of Sciences","award":["Y2022044"],"award-info":[{"award-number":["Y2022044"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,14]]},"DOI":"10.1145\/3639478.3640036","type":"proceedings-article","created":{"date-parts":[[2024,5,23]],"date-time":"2024-05-23T10:49:26Z","timestamp":1716461366000},"page":"129-133","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["FaultFuzz: A Coverage Guided Fault Injection Tool for Distributed Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-9856-9723","authenticated-orcid":false,"given":"Wenhan","family":"Feng","sequence":"first","affiliation":[{"name":"Institute of Software Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-3207-215X","authenticated-orcid":false,"given":"Qiugen","family":"Pei","sequence":"additional","affiliation":[{"name":"Joint Laboratory on Cyberspace Security China Southern Power Grid, Guangzhou, 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 Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-1874-6608","authenticated-orcid":false,"given":"Dong","family":"Wang","sequence":"additional","affiliation":[{"name":"Institute of Software 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 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 Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-7656-2092","authenticated-orcid":false,"given":"Zheheng","family":"Liang","sequence":"additional","affiliation":[{"name":"Joint Laboratory on Cyberspace Security China Southern Power Grid, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-2236-4540","authenticated-orcid":false,"given":"Zhenyue","family":"Long","sequence":"additional","affiliation":[{"name":"Joint Laboratory on Cyberspace Security China Southern Power Grid, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,5,23]]},"reference":[{"unstructured":"2005. ASM. https:\/\/asm.ow2.io\/","key":"e_1_3_2_1_1_1"},{"unstructured":"2007. Apache HBase. https:\/\/hbase.apache.org\/","key":"e_1_3_2_1_2_1"},{"unstructured":"2008. Apache Hadoop MapReduce. https:\/\/hadoop.apache.org\/docs\/current\/hadoop-mapreduce-client\/hadoop-mapreduce-client-core\/MapReduceTutorial.html","key":"e_1_3_2_1_3_1"},{"unstructured":"2010. Apache ZooKeeper. https:\/\/zookeeper.apache.org\/","key":"e_1_3_2_1_4_1"},{"unstructured":"2012. Chaos Monkey. https:\/\/netflix.github.io\/chaosmonkey","key":"e_1_3_2_1_5_1"},{"unstructured":"2015. Apache Spark. https:\/\/spark.apache.org\/","key":"e_1_3_2_1_6_1"},{"unstructured":"2016. Jepsen. https:\/\/github.com\/jepsen-io\/jepsen","key":"e_1_3_2_1_7_1"},{"unstructured":"2019. Appsmith. https:\/\/www.appsmith.com\/","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of USENIX Symposium on Operating Systems Design and Implementation (OSDI). 51--68","author":"Alquraan Ahmed","year":"2018","unstructured":"Ahmed Alquraan, Hatem Takruri, Mohammed Alfatafta, and Samer Al-Kiswany. 2018. An Analysis of Network-Partitioning Failures in Cloud Systems. In Proceedings of USENIX Symposium on Operating Systems Design and Implementation (OSDI). 51--68."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of International Conference on Automated Software Engineering (ASE). 536--547","author":"Chen Haicheng","year":"2020","unstructured":"Haicheng Chen, Wensheng Dou, Dong Wang, and Feng Qin. 2020. CoFI: Consistency-Guided Fault Injection for Cloud Systems. In Proceedings of International Conference on Automated Software Engineering (ASE). 536--547."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/3236024.3236030"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of International Conference on Software Engineering (ICSE). 2211--2223","author":"Gao Yu","year":"2023","unstructured":"Yu Gao, Wensheng Dou, Dong Wang, Wenhan Feng, Jun Wei, Hua Zhong, and Tao Huang. 2023. Coverage Guided Fault Injection for Cloud Systems. In Proceedings of International Conference on Software Engineering (ICSE). 2211--2223."},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of International Conference on Software Engineering (ICSE Demo). 36--40","author":"Gao Yu","year":"2022","unstructured":"Yu Gao, Dong Wang, Qianwang Dai, Wensheng Dou, and Jun Wei. 2022. Common Data Guided Crash Injection for Cloud Systems. In Proceedings of International Conference on Software Engineering (ICSE Demo). 36--40."},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of USENIX Symposium on Networked Systems Design and Implementation (NSDI). 238--252","author":"Gunawi Haryadi S.","year":"2011","unstructured":"Haryadi S. Gunawi, Thanh Do, Pallavi Joshi, Peter Alvaro, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen, and Dhruba Borthakur. 2011. FATE and DESTINI: A Framework for Cloud Recovery Testing. In Proceedings of USENIX Symposium on Networked Systems Design and Implementation (NSDI). 238--252."},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA). 171--188","author":"Joshi Pallavi","year":"2011","unstructured":"Pallavi Joshi, Haryadi S. Gunawi, and Koushik Sen. 2011. PREFAIL: A Programmable Tool for Multiple-Failure Injection. In Proceedings of ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA). 171--188."},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of USENIX Annual Technical Conference (ATC). 383--398","author":"Kim Beom Heyn","year":"2022","unstructured":"Beom Heyn Kim, Taesoo Kim, and David Lie. 2022. Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence Resync Models. In Proceedings of USENIX Annual Technical Conference (ATC). 383--398."},{"volume-title":"Proceedings of USENIX Symposium on Operating Systems Design and Implementation (OSDI). 399--414","author":"Leesatapornwongsa Tanakorn","unstructured":"Tanakorn Leesatapornwongsa, Mingzhe Hao, Pallavi Joshi, Jeffrey F. Lukman, and Haryadi S. Gunawi. 2014. SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems. In Proceedings of USENIX Symposium on Operating Systems Design and Implementation (OSDI). 399--414.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of USENIX Symposium on Operating Systems Design and Implementation (OSDI). 73--90","author":"Lexiang Huang","year":"2022","unstructured":"Huang Lexiang, Magnusson Matthew, Muralikrishna Abishek, Bangalore, Estyak Salman, Isaacs Rebecca, Aghayev Abutalib, Zhu Timothy, and Charapko Aleksey. 2022. Metastable Failures in the Wild. In Proceedings of USENIX Symposium on Operating Systems Design and Implementation (OSDI). 73--90."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1145\/3190508.3190552"},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). 419--431","author":"Liu Haopeng","year":"2018","unstructured":"Haopeng Liu, Xu Wang, Guangpu Li, Shan Lu, Feng Ye, and Chen Tian. 2018. FCatch: Automatically Detecting Time-of-Fault Bugs in Cloud Systems. In Proceedings of International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). 419--431."},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of USENIX Symposium on Operating Systems Design and Implementation (OSDI). 91--107","author":"Lou Chang","year":"2022","unstructured":"Chang Lou, Yuzhuo Jing, and Peng Huang. 2022. Demystifying and Checking Silent Semantic Violations in Large Distributed Systems. In Proceedings of USENIX Symposium on Operating Systems Design and Implementation (OSDI). 91--107."},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of ACM Symposium on Operating Systems Principles (SOSP). 114--130","author":"Lu Jie","year":"2019","unstructured":"Jie Lu, Chen Liu, Lian Li, Xiaobing Feng, Feng Tan, Jun Ynag, and Liang You. 2019. CrashTuner: Detecting Crash-Recovery Bugs in Cloud Systems via Meta-Info Analysis. In Proceedings of ACM Symposium on Operating Systems Principles (SOSP). 114--130."},{"volume-title":"Proceedings of European Conference on Computer Systems (EuroSys). 1--16","author":"Lukman Jeffrey F.","unstructured":"Jeffrey F. Lukman, Huan Ke, Cesar A. Stuardo, Riza O. Suminto, Daniar H. Kurniawan, Dikaimin Simon, Satria Priambada, Chen Tian, Feng Ye, Tanakorn Leesatapornwongsa, Aarti Gupta, Shan Lu, and Haryadi S. Gunawi. 2019. FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems. In Proceedings of European Conference on Computer Systems (EuroSys). 1--16.","key":"e_1_3_2_1_23_1"},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings of ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA). 1--29","author":"Ozkan Burcu Kulahcioglu","year":"2019","unstructured":"Burcu Kulahcioglu Ozkan, Rupak Majumdar, and Simin Oraee. 2019. Trace Aware Random Testing for Distributed Systems. In Proceedings of ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA). 1--29."},{"volume-title":"Proceedings of USENIX Conference on File and Storage Technologies (FAST). 359--373","author":"Stuardo Cesar A.","unstructured":"Cesar A. Stuardo, Tanakorn Leesatapornwongsa, Riza O. Suminto, Huan Ke, Jeffrey F. Lukman, Wei-Chiu Chuang, Shan Lu, and Haryadi S. Gunawi. 2019. Scalecheck: A Single-Machine Approach for Discovering Scalability Bugs in Large Distributed Systems. In Proceedings of USENIX Conference on File and Storage Technologies (FAST). 359--373.","key":"e_1_3_2_1_25_1"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of European Conference on Computer Systems (EuroSys). 127--143","author":"Wang Dong","year":"2023","unstructured":"Dong Wang, Wensheng Dou, Yu Gao, Chenao Wu, Jun Wei, and Tao Huang. 2023. Model Checking Guided Testing for Distributed Systems. In Proceedings of European Conference on Computer Systems (EuroSys). 127--143."},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of USENIX Symposium on Networked Systems Design and Implementation (NSDI). 213--228","author":"Yang Junfeng","year":"2009","unstructured":"Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, and Lidong Zhou. 2009. MODIST: Transparent Model Checking of Unmodified Distributed Systems. In Proceedings of USENIX Symposium on Networked Systems Design and Implementation (NSDI). 213--228."}],"event":{"sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"],"acronym":"ICSE-Companion '24","name":"ICSE-Companion '24: 2024 IEEE\/ACM 46th International Conference on Software Engineering: Companion Proceedings","location":"Lisbon Portugal"},"container-title":["Proceedings of the 2024 IEEE\/ACM 46th International Conference on Software Engineering: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3639478.3640036","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3639478.3640036","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:36Z","timestamp":1750291416000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3639478.3640036"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,14]]},"references-count":27,"alternative-id":["10.1145\/3639478.3640036","10.1145\/3639478"],"URL":"https:\/\/doi.org\/10.1145\/3639478.3640036","relation":{},"subject":[],"published":{"date-parts":[[2024,4,14]]},"assertion":[{"value":"2024-05-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}