{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,17]],"date-time":"2025-12-17T08:32:38Z","timestamp":1765960358855,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"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":["62272167"],"award-info":[{"award-number":["62272167"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,10,27]]},"DOI":"10.1145\/3691620.3695268","type":"proceedings-article","created":{"date-parts":[[2024,10,18]],"date-time":"2024-10-18T15:39:19Z","timestamp":1729265959000},"page":"2053-2064","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["DeployFix: Dynamic Repair of Software Deployment Failures via Constraint Solving"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-1611-5360","authenticated-orcid":false,"given":"Haoyu","family":"Liao","sequence":"first","affiliation":[{"name":"East China Normal University, Shanghai, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5787-6781","authenticated-orcid":false,"given":"Jianmei","family":"Guo","sequence":"additional","affiliation":[{"name":"East China Normal University, Shanghai, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5126-7192","authenticated-orcid":false,"given":"Bo","family":"Huang","sequence":"additional","affiliation":[{"name":"East China Normal University, Shanghai, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-5591-6671","authenticated-orcid":false,"given":"Yujie","family":"Han","sequence":"additional","affiliation":[{"name":"East China Normal University, Shanghai, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8156-3926","authenticated-orcid":false,"given":"Dingyu","family":"Yang","sequence":"additional","affiliation":[{"name":"The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Zhejiang University, Zhejiang, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0077-719X","authenticated-orcid":false,"given":"Kai","family":"Shi","sequence":"additional","affiliation":[{"name":"Alibaba Group, Hangzhou, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-0643-1017","authenticated-orcid":false,"given":"Jonathan","family":"Ding","sequence":"additional","affiliation":[{"name":"Intel, Shanghai, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1136-2678","authenticated-orcid":false,"given":"Guoyao","family":"Xu","sequence":"additional","affiliation":[{"name":"Alibaba Group, Hangzhou, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1908-071X","authenticated-orcid":false,"given":"Guodong","family":"Yang","sequence":"additional","affiliation":[{"name":"Alibaba Group, Hangzhou, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2334-3471","authenticated-orcid":false,"given":"Liping","family":"Zhang","sequence":"additional","affiliation":[{"name":"Alibaba Group, Hangzhou, China"}]}],"member":"320","published-online":{"date-parts":[[2024,10,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Google Cloud. Google Cloud: Google Cloud Service Health. https:\/\/status.cloud.google.com\/summary."},{"key":"e_1_3_2_1_2_1","unstructured":"Amazon Web Services. Amazon Web Services.: Summary of the AWS Service Event in the Northern Virginia (US-EAST-1) Region. https:\/\/aws.amazon.com\/message\/12721\/."},{"key":"e_1_3_2_1_3_1","volume-title":"Alibaba Cloud: Notices of the Alibaba Cloud Service","author":"Cloud Alibaba","year":"2023","unstructured":"Alibaba Cloud. Alibaba Cloud: Notices of the Alibaba Cloud Service, 2023."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815401"},{"key":"e_1_3_2_1_5_1","first-page":"1","volume-title":"Proceedings of the 4th Conference on USENIX Symposium on Internet Technologies and Systems -","volume":"4","author":"Oppenheimer David","year":"2003","unstructured":"David Oppenheimer, Archana Ganapathi, and David A. Patterson. Why do internet services fail, and what can be done about it? In Proceedings of the 4th Conference on USENIX Symposium on Internet Technologies and Systems - Volume 4, USITS'03, page 1, USA, 2003. USENIX Association."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEIP58684.2023.00027"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3542929.3563482"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE55969.2022.00022"},{"key":"e_1_3_2_1_9_1","volume-title":"Dibyendu Brinto Bose, and Rahul Pandita. Security misconfigurations in open source kubernetes manifests: An empirical study. 32(4), may","author":"Rahman Akond","year":"2023","unstructured":"Akond Rahman, Shazibul Islam Shamim, Dibyendu Brinto Bose, and Rahul Pandita. Security misconfigurations in open source kubernetes manifests: An empirical study. 32(4), may 2023."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2874648"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00063"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2019.07.083"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2016.69"},{"key":"e_1_3_2_1_15_1","first-page":"772","volume-title":"35th International Conference on Software Engineering, ICSE '13","author":"Thien Nguyen Hoang Duong","year":"2013","unstructured":"Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, and Satish Chandra. Semfix: program repair via semantic analysis. In David Notkin, Betty H. C. Cheng, and Klaus Pohl, editors, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18--26, 2013, pages 772--781. IEEE Computer Society, 2013."},{"key":"e_1_3_2_1_16_1","first-page":"448","volume-title":"Abhik Roychoudhury. DirectFix: Looking for Simple Program Repairs. In 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering","author":"Mechtaev Sergey","year":"2015","unstructured":"Sergey Mechtaev, Jooyong Yi, and Abhik Roychoudhury. DirectFix: Looking for Simple Program Repairs. In 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering, pages 448--458. IEEE, 2015."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486893"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48989-6_36"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106309"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483547"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417260"},{"key":"e_1_3_2_1_22_1","first-page":"147","volume-title":"2021 USENIX Annual Technical Conference","author":"Wang Mingzhe","year":"2021","unstructured":"Mingzhe Wang, Jie Liang, Chijin Zhou, Yu Jiang, Rui Wang, Chengnian Sun, and Jiaguang Sun. RIFF: Reduced instruction footprint for Coverage-Guided fuzzing. In 2021 USENIX Annual Technical Conference, pages 147--159. USENIX Association, July 2021."},{"key":"e_1_3_2_1_23_1","first-page":"858","volume-title":"Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering, ASE '20","author":"Zhou Chijin","year":"2021","unstructured":"Chijin Zhou, Mingzhe Wang, Jie Liang, Zhe Liu, and Yu Jiang. Zeror: speed up fuzzing with coverage-sensitive tracing and scheduling. In Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering, ASE '20, page 858--870, New York, NY, USA, 2021. ACM."},{"key":"e_1_3_2_1_24_1","first-page":"722","volume-title":"Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering, ASE '20","author":"Zhang Qian","year":"2021","unstructured":"Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, and Miryung Kim. Bigfuzz: efficient fuzz testing for data analytics using framework abstraction. In Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering, ASE '20, page 722--733, New York, NY, USA, 2021. ACM."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464799"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522727"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771817"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2865962"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2008.4630084"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2487029"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3623315"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227206"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00117"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3616300"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2009.65"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aei.2012.03.008"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.69"},{"key":"e_1_3_2_1_38_1","unstructured":"Manage Kubernetes configuration at scale using the new GitOps observability dashboard 2024."},{"key":"e_1_3_2_1_39_1","unstructured":"Configuring Pods to use a Kubernetes service account - Amazon EKS 2024."},{"volume-title":"May","year":"2023","key":"e_1_3_2_1_40_1","unstructured":"MGoedtel. Resource management best practices for Azure Kubernetes Service (AKS) - Azure Kubernetes Service, May 2023."},{"key":"e_1_3_2_1_41_1","unstructured":"Configuration Best Practices 2024."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3545008.3545026"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2741948.2741964"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446693"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304005"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA56546.2023.10071128"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74970-7_39"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2455034"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1995376.1995394"},{"key":"e_1_3_2_1_51_1","volume-title":"Foundations of Constraint Satisfaction. Computation in Cognitive Science","author":"Tsang E.","year":"1993","unstructured":"E. Tsang. Foundations of Constraint Satisfaction. Computation in Cognitive Science. Academic Press, 1993."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1137\/0204007"},{"key":"e_1_3_2_1_53_1","unstructured":"Kubernetes SIGs. Kwok (kubernetes without kubelet). https:\/\/github.com\/kubernetes-sigs\/kwok."},{"key":"e_1_3_2_1_54_1","first-page":"628","volume-title":"Xiangke Liao. Understanding and Detecting On-The-Fly Configuration Bugs. In 2023 IEEE\/ACM 45th International Conference on Software Engineering","author":"Wang Teng","year":"2023","unstructured":"Teng Wang, Zhouyang Jia, Shanshan Li, Si Zheng, Yue Yu, Erci Xu, Shaoliang Peng, and Xiangke Liao. Understanding and Detecting On-The-Fly Configuration Bugs. In 2023 IEEE\/ACM 45th International Conference on Software Engineering, pages 628--639. IEEE, 2023."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2741948.2741964"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2901318.2901355"},{"key":"e_1_3_2_1_57_1","first-page":"99","volume-title":"Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation","author":"Gog Ionel","year":"2016","unstructured":"Ionel Gog, Malte Schwarzkopf, Adam Gleave, Robert N. M. Watson, and Steven Hand. Firmament: fast, centralized cluster scheduling at scale. Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation, page 99--115, 2016."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/3190508.3190549"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3472883.3486971"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3552326.3587437"}],"event":{"name":"ASE '24: 39th IEEE\/ACM International Conference on Automated Software Engineering","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Sacramento CA USA","acronym":"ASE '24"},"container-title":["Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3691620.3695268","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3691620.3695268","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:04:07Z","timestamp":1750291447000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3691620.3695268"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,27]]},"references-count":60,"alternative-id":["10.1145\/3691620.3695268","10.1145\/3691620"],"URL":"https:\/\/doi.org\/10.1145\/3691620.3695268","relation":{},"subject":[],"published":{"date-parts":[[2024,10,27]]},"assertion":[{"value":"2024-10-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}