{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T19:04:54Z","timestamp":1757617494231,"version":"3.44.0"},"reference-count":58,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T00:00:00Z","timestamp":1751328000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T00:00:00Z","timestamp":1751328000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T00:00:00Z","timestamp":1751328000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"National Key Laboratory of Data Space Technology and System"},{"DOI":"10.13039\/501100004826","name":"Beijing Natural Science Foundation","doi-asserted-by":"publisher","award":["4244076"],"award-info":[{"award-number":["4244076"]}],"id":[{"id":"10.13039\/501100004826","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100005024","name":"Beijing Postdoctoral Research Foundation","doi-asserted-by":"publisher","award":["2024-ZZ-20"],"award-info":[{"award-number":["2024-ZZ-20"]}],"id":[{"id":"10.13039\/501100005024","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Cloud Comput."],"published-print":{"date-parts":[[2025,7]]},"DOI":"10.1109\/tcc.2025.3577211","type":"journal-article","created":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T13:43:03Z","timestamp":1749217383000},"page":"922-934","source":"Crossref","is-referenced-by-count":0,"title":["<i>PHOENIX<\/i>: Misconfiguration Detection for AWS Serverless Computing"],"prefix":"10.1109","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3023-1005","authenticated-orcid":false,"given":"Jinfeng","family":"Wen","sequence":"first","affiliation":[{"name":"School of Computer Science, Beijing University of Posts and Telecommunications, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7947-7826","authenticated-orcid":false,"given":"Haodi","family":"Ping","sequence":"additional","affiliation":[{"name":"School of Computer Science, Beijing University of Technology, Beijing, China"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3579643"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS51616.2021.00022"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3419111.3421287"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3267809.3267815"},{"article-title":"Cloud programming simplified: A berkeley view on serverless computing","year":"2019","author":"Jonas","key":"ref5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468558"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1186\/s13677-021-00253-7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3113940"},{"year":"2024","key":"ref9","article-title":"sam AWS"},{"year":"2024","key":"ref10","article-title":"Serverless architectures with AWS sam"},{"year":"2024","key":"ref11","article-title":"Advantages of building serverless applications on AWS"},{"year":"2024","key":"ref12","article-title":"Aws serverless application repository"},{"key":"ref13","first-page":"735","article-title":"Testing configuration changes in context to prevent production failures","volume-title":"Proc. 14th USENIX Symp. Operating Syst. Des. Implementation","author":"Sun"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2865962"},{"article-title":"Software engineering for serverless computing","year":"2022","author":"Wen","key":"ref15"},{"key":"ref16","first-page":"435","article-title":"Rex: Preventing bugs and misconfiguration in large services using correlated change analysis","volume-title":"Proc. 17th USENIX Symp. Networked Syst. Des. Implementation","author":"Mehta"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522727"},{"key":"ref18","first-page":"28","article-title":"Context-based online configuration-error detection","volume-title":"Proc. 2011 USENIX Conf. USENIX Annu. Tech. Conf.","author":"Yuan"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541983"},{"year":"2025","key":"ref20","article-title":"Supplemental material"},{"year":"2024","key":"ref21","article-title":"AWS lambda"},{"year":"2024","key":"ref22","article-title":"AWS cloudformation template"},{"year":"2024","key":"ref23","article-title":"Infrastructure as code"},{"year":"2024","key":"ref24","article-title":"Google cloud functions"},{"year":"2024","key":"ref25","article-title":"AWS serverless application model (AWS sam) specification"},{"year":"2024","key":"ref26","article-title":"Test21"},{"year":"2024","key":"ref27","article-title":"Amazon s3"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409727"},{"year":"2024","key":"ref29","article-title":"Awstemplateformatversion"},{"year":"2024","key":"ref30","article-title":"Github search API"},{"year":"2024","key":"ref31","article-title":"Timeout of AWS lambda"},{"year":"2024","key":"ref32","article-title":"Memory of aws lambda"},{"year":"2024","key":"ref33","article-title":"Functioncode"},{"year":"2024","key":"ref34","article-title":"What is the AWS serverless application model (AWS sam)?"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629587"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/335191.335372"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985812"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1155\/2015\/910281"},{"year":"2024","key":"ref39","article-title":"The AWS sam cli"},{"year":"2024","key":"ref40","article-title":"Test4"},{"year":"2024","key":"ref41","article-title":"Test6"},{"year":"2024","key":"ref42","article-title":"Test8"},{"year":"2024","key":"ref43","article-title":"Test18"},{"year":"2024","key":"ref44","article-title":"Test40"},{"year":"2024","key":"ref45","article-title":"Test43"},{"year":"2024","key":"ref46","article-title":"Test 51"},{"year":"2024","key":"ref47","article-title":"Test57"},{"year":"2024","key":"ref48","article-title":"Test58"},{"year":"2024","key":"ref49","article-title":"Test59"},{"year":"2024","key":"ref50","article-title":"Test62"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2020.3028708"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2020.3023302"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/3717609"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-025-10615-3"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/3490386"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2020.3030803"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/1555228.1555269"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_5"}],"container-title":["IEEE Transactions on Cloud Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6245519\/11152304\/11027573.pdf?arnumber=11027573","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,6]],"date-time":"2025-09-06T05:28:09Z","timestamp":1757136489000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11027573\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7]]},"references-count":58,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tcc.2025.3577211","relation":{},"ISSN":["2168-7161","2372-0018"],"issn-type":[{"type":"electronic","value":"2168-7161"},{"type":"electronic","value":"2372-0018"}],"subject":[],"published":{"date-parts":[[2025,7]]}}}