{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,23]],"date-time":"2026-08-23T14:29:10Z","timestamp":1787495350735,"version":"3.56.0"},"reference-count":79,"publisher":"Association for Computing Machinery (ACM)","issue":"ISSTA","license":[{"start":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T00:00:00Z","timestamp":1750550400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["101095951"],"award-info":[{"award-number":["101095951"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. ACM Softw. Eng."],"published-print":{"date-parts":[[2025,6,22]]},"abstract":"<jats:p>Decompilation of binary code has arisen as a highly-important application in the space of Ethereum VM (EVM) smart contracts. Major new decompilers appear nearly every year and attain popularity, for a multitude of reverse-engineering or tool-building purposes. Technically, the problem is fundamental: it consists of recovering high-level control flow from a highly-optimized continuation-passing-style (CPS) representation. Architecturally, decompilers can be built using either static analysis or symbolic execution techniques.<\/jats:p>\n                  <jats:p>\n                    We present\n                    <jats:sc>Shrnkr<\/jats:sc>\n                    , a static-analysis-based decompiler succeeding the state-of-the-art Elipmoc decompiler. Shrnkr manages to achieve drastic improvements relative to the state of the art, in all significant dimensions: scalability, completeness, precision. Chief among the techniques employed is a new variant of static analysis context:\n                    <jats:italic toggle=\"yes\">shrinking context sensitivity.<\/jats:italic>\n                    Shrinking context sensitivity performs deep cuts in the static analysis context, eagerly \u201cforgetting\u201d control-flow history, in order to leave room for further precise reasoning.\n                  <\/jats:p>\n                  <jats:p>\n                    We compare\n                    <jats:sc>Shrnkr<\/jats:sc>\n                    to state-of-the-art decompilers, both static-analysis- and symbolic-execution-based. In a standard benchmark set, Shrnkr scales to over 99.5% of contracts (compared to \u223c95% for Elipmoc), covers (i.e., reaches and manages to decompile) 67% more code than\n                    <jats:sc>Heimdall-rs<\/jats:sc>\n                    , and reduces key imprecision metrics by over 65%, compared again to Elipmoc.\n                  <\/jats:p>","DOI":"10.1145\/3728935","type":"journal-article","created":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T10:52:56Z","timestamp":1750589576000},"page":"1350-1373","source":"Crossref","is-referenced-by-count":1,"title":["The Incredible Shrinking Context... in a Decompiler Near You"],"prefix":"10.1145","volume":"2","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6233-1548","authenticated-orcid":false,"given":"Sifis","family":"Lagouvardos","sequence":"first","affiliation":[{"name":"University of Athens, Athens, Greece"},{"name":"Dedaub, Athens, Greece"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-6905-9264","authenticated-orcid":false,"given":"Yannis","family":"Bollanos","sequence":"additional","affiliation":[{"name":"Dedaub, Athens, Greece"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6790-2872","authenticated-orcid":false,"given":"Neville","family":"Grech","sequence":"additional","affiliation":[{"name":"Dedaub, Msida, Malta"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0499-0182","authenticated-orcid":false,"given":"Yannis","family":"Smaragdakis","sequence":"additional","affiliation":[{"name":"University of Athens, Athens, Greece"},{"name":"Dedaub, Athens, Greece"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,6,22]]},"reference":[{"key":"e_1_3_1_2_2","unstructured":"2018. Online Solidity Decompiler. http:\/\/ethervm.io\/decompile."},{"key":"e_1_3_1_3_2","volume-title":"Automated Technology for Verification and Analysis (ATVA)","author":"Albert Elvira","year":"2018","unstructured":"Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, and Ilya Sergey. 2018. EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. In Automated Technology for Verification and Analysis (ATVA). Springer."},{"key":"e_1_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/3428277"},{"key":"e_1_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2022.3178836"},{"key":"e_1_3_1_6_2","unstructured":"Jonathan Becker. 2023. Heimdall: An Advanced EVM Smart Contract Toolkit Specializing in Bytecode Analysis and Extracting Information from Unverified Contracts. https:\/\/github.com\/Jon-Becker\/heimdall-rs."},{"key":"e_1_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/2968455.2968505"},{"key":"e_1_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385990"},{"key":"e_1_3_1_9_2","article-title":"Vandal: A Scalable Security Analysis Framework for Smart Contracts","author":"Brent Lexi","year":"2018","unstructured":"Lexi Brent, Anton Jurisevic, Michael Kong, Eric Liu, Francois Gauthier, Vincent Gramoli, Ralph Holz, and Bernhard Scholz. 2018. Vandal: A Scalable Security Analysis Framework for Smart Contracts. arXiv preprint arXiv:1809.03981. https:\/\/arxiv.org\/abs\/1809.03981.","journal-title":"arXiv preprint arXiv:1809.03981"},{"key":"e_1_3_1_10_2","first-page":"353","volume-title":"22nd USENIX Security Symposium (USENIX Security 13)","author":"Brumley David","year":"2013","unstructured":"David Brumley, JongHyup Lee, Edward J. Schwartz, and Maverick Woo. 2013. Native x86 Decompilation Using Semantics-Preserving Structural Analysis and Iterative Control-Flow Structuring. In 22nd USENIX Security Symposium (USENIX Security 13). USENIX Association, Washington, D.C., 353-368. https:\/\/www.usenix.org\/conference\/usenixsecurity13\/technical-sessions\/presentation\/schwartz."},{"key":"e_1_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3623302"},{"key":"e_1_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/3563328"},{"key":"e_1_3_1_13_2","doi-asserted-by":"publisher","unstructured":"Jaeseung Choi Doyeon Kim Soomin Kim Gustavo Grieco Alex Groce and Sang Kil Cha. 2021. SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses. In 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 227-239. https:\/\/doi.org\/10.1109\/ASE51524.2021.9678888 10.1109\/ASE51524.2021.9678888.","DOI":"10.1109\/ASE51524.2021.9678888"},{"key":"e_1_3_1_14_2","unstructured":"Cristina Cifuentes. 1994. Reverse Compilation Techniques. Ph.D. Dissertation. Queensland University of Technology. https:\/\/eprints.qut.edu.au\/36820\/. Presented to the School of Computing Science Queensland University of Technology."},{"key":"e_1_3_1_15_2","doi-asserted-by":"publisher","unstructured":"Filippo Contro Marco Crosara Mariano Ceccato and Mila Dalla Preda. 2021. EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode. In 2021 IEEE\/ACM 29th International Conference on Program Comprehension (ICPC). 127-137. https:\/\/doi.org\/10.1109\/ICPC52881.2021.00021 10.1109\/ICPC52881.2021.00021.","DOI":"10.1109\/ICPC52881.2021.00021"},{"key":"e_1_3_1_16_2","doi-asserted-by":"crossref","unstructured":"Maryam Emami Rakesh Ghiya and Laurie J. Hendren. 1994. Context-sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers. In Proceedings of the ACM SIGPLAN 1994 Conference on Programming Language Design and Implementation (PLDI \u201994). 242-256.","DOI":"10.1145\/178243.178264"},{"key":"e_1_3_1_17_2","unstructured":"Antonio Flores-Montoya and Eric Schulte. 2020. Datalog Disassembly. In USENIX Security Symposium. 1075-1092. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/flores-montoya."},{"key":"e_1_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00120"},{"key":"e_1_3_1_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/3276486"},{"key":"e_1_3_1_20_2","article-title":"MadMax: Analyzing the Out-of-Gas World of Smart Contracts","author":"Grech Neville","year":"2020","unstructured":"Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, and Yannis Smaragdakis. 2020. MadMax: Analyzing the Out-of-Gas World of Smart Contracts. Communications of the ACM (Nov. 2020).","journal-title":"Communications of the ACM (Nov. 2020)"},{"key":"e_1_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/3527321"},{"key":"e_1_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3404366"},{"key":"e_1_3_1_23_2","first-page":"1793","volume-title":"32nd USENIX Security Symposium (USENIX Security 23)","author":"Gritti Fabio","year":"2023","unstructured":"Fabio Gritti, Nicola Ruaro, Robert McLaughlin, Priyanka Bose, Dipanjan Das, Ilya Grishchenko, Christopher Kruegel, and Giovanni Vigna. 2023. Confusum Contractum: Confused Deputy Vulnerabilities in Ethereum Smart Contracts. In 32nd USENIX Security Symposium (USENIX Security 23). USENIX Association, Anaheim, CA, 1793-1810. https:\/\/www.usenix.org\/conference\/usenixsecurity23\/presentation\/gritti."},{"key":"e_1_3_1_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3469076"},{"key":"e_1_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/3158136"},{"key":"e_1_3_1_26_2","doi-asserted-by":"publisher","DOI":"10.1145\/3689796"},{"key":"e_1_3_1_27_2","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2009.24"},{"key":"e_1_3_1_28_2","doi-asserted-by":"crossref","unstructured":"Nicolas Harrand C\u00e9sar Soto-Valero Martin Monperrus and Benoit Baudry. 2019. The Strengths and Behavioral Quirks of Java Bytecode Decompilers. In 2019 IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM). 92-102. https:\/\/arxiv.org\/pdf\/1908.06895.pdf.","DOI":"10.1109\/SCAM.2019.00019"},{"key":"e_1_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363230"},{"key":"e_1_3_1_30_2","doi-asserted-by":"publisher","unstructured":"Jiahao He Shuangyin Li Xinming Wang Shing-Chi Cheung Gansen Zhao and Jinji Yang. 2023. Neural-FEBI: Accurate Function Identification in Ethereum Virtual Machine Bytecode. Journal of Systems and Software 199 111627. https:\/\/doi.org\/10.1016\/j.jss.2023.111627 10.1016\/j.jss.2023.111627.","DOI":"10.1016\/j.jss.2023.111627"},{"key":"e_1_3_1_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/3293607"},{"key":"e_1_3_1_32_2","doi-asserted-by":"publisher","DOI":"10.1145\/3276510"},{"key":"e_1_3_1_33_2","doi-asserted-by":"publisher","DOI":"10.1145\/3498720"},{"key":"e_1_3_1_34_2","doi-asserted-by":"publisher","DOI":"10.1145\/3133924"},{"key":"e_1_3_1_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"e_1_3_1_36_2","doi-asserted-by":"crossref","unstructured":"D. S. Katz J. Ruchti and E. Schulte. 2018. Using Recurrent Neural Networks for Decompilation. In 2018 IEEE 25th International Conference on Software Analysis Evolution and Reengineering (SANER). 346-356.","DOI":"10.1109\/SANER.2018.8330222"},{"key":"e_1_3_1_37_2","unstructured":"Tomasz Kolinko and Palkeo. 2020. Panoramix \u2013 Decompiler at the Heart of eveem.org. https:\/\/github.com\/palkeo\/panoramix."},{"key":"e_1_3_1_38_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598124"},{"key":"e_1_3_1_39_2","volume-title":"Proceedings of the 13th USENIX Security Symposium","author":"Kruegel Christopher","year":"2004","unstructured":"Christopher Kruegel, William Robertson, Fredrik Valeur, and Giovanni Vigna. 2004. Static Disassembly of Obfuscated Binaries. In Proceedings of the 13th USENIX Security Symposium. USENIX Association, USA, 18."},{"key":"e_1_3_1_40_2","article-title":"Precise Static Identification of Ethereum Storage Variables","author":"Lagouvardos Sifis","year":"2025","unstructured":"Sifis Lagouvardos, Yannis Bollanos, Michael Debono, Neville Grech, and Yannis Smaragdakis. 2025. Precise Static Identification of Ethereum Storage Variables. arXiv Preprint arXiv:2503.20690. https:\/\/arxiv.org\/abs\/2503.20690.","journal-title":"arXiv Preprint arXiv:2503.20690"},{"key":"e_1_3_1_41_2","doi-asserted-by":"publisher","unstructured":"Sifis Lagouvardos Yannis Bollanos Neville Grech and Yannis Smaragdakis. 2025. The Incredible Shrinking Context... in a Decompiler Near You (Artifact). https:\/\/doi.org\/10.5281\/zenodo.15189970 10.5281\/zenodo.15189970.","DOI":"10.5281\/zenodo.15189970"},{"key":"e_1_3_1_42_2","article-title":"The Incredible Shrinking Context... in a Decompiler Near You (Extended Version)","author":"Lagouvardos Sifis","year":"2025","unstructured":"Sifis Lagouvardos, Yannis Bollanos, Neville Grech, and Yannis Smaragdakis. 2025. The Incredible Shrinking Context... in a Decompiler Near You (Extended Version). arXiv Preprint arXiv:2409.11157. https:\/\/arxiv.org\/abs\/2409.11157.","journal-title":"arXiv Preprint arXiv:2409.11157"},{"key":"e_1_3_1_43_2","doi-asserted-by":"publisher","DOI":"10.1145\/3428258"},{"key":"e_1_3_1_44_2","doi-asserted-by":"publisher","DOI":"10.1145\/3276511"},{"key":"e_1_3_1_45_2","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236041"},{"key":"e_1_3_1_46_2","doi-asserted-by":"publisher","DOI":"10.1145\/3381915"},{"key":"e_1_3_1_47_2","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534222"},{"key":"e_1_3_1_48_2","doi-asserted-by":"publisher","unstructured":"Xia Liu Baojian Hua Yang Wang and Zhizhong Pan. 2023. An Empirical Study of Smart Contract Decompilers. In 2023 IEEE International Conference on Software Analysis Evolution and Reengineering (SANER). 1-12. https:\/\/doi.org\/10.1109\/SANER56733.2023.00011 10.1109\/SANER56733.2023.00011.","DOI":"10.1109\/SANER56733.2023.00011"},{"key":"e_1_3_1_49_2","doi-asserted-by":"publisher","DOI":"10.1145\/3360574"},{"key":"e_1_3_1_50_2","doi-asserted-by":"publisher","DOI":"10.1145\/1044834.1044835"},{"key":"e_1_3_1_51_2","doi-asserted-by":"publisher","unstructured":"Sundas Munir and Christoph Reichenbach. 2023. TODLER: A Transaction Ordering Dependency anaLyzER for Ethereum Smart Contracts. In 2023 IEEE\/ACM 6th International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB). 9-16. https:\/\/doi.org\/10.1109\/WETSEB59161.2023.00007 10.1109\/WETSEB59161.2023.00007.","DOI":"10.1109\/WETSEB59161.2023.00007"},{"key":"e_1_3_1_52_2","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380334"},{"key":"e_1_3_1_53_2","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594318"},{"key":"e_1_3_1_54_2","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549097"},{"key":"e_1_3_1_55_2","first-page":"1325","volume-title":"30th USENIX Security Symposium (USENIX Security 21)","author":"Perez Daniel","year":"2021","unstructured":"Daniel Perez, and Benjamin Livshits. 2021. Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited. In 30th USENIX Security Symposium (USENIX Security 21). USENIX Association, 1325-1341. https:\/\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/perez."},{"key":"e_1_3_1_56_2","doi-asserted-by":"crossref","unstructured":"Nicola Ruaro Fabio Gritti Robert McLaughlin Ilya Grishchenko Christopher Kruegel and Giovanni Vigna. 2024. Not Your Type! Detecting Storage Collision Vulnerabilities in Ethereum Smart Contracts.","DOI":"10.14722\/ndss.2024.24713"},{"key":"e_1_3_1_57_2","unstructured":"Mooly Sagiv. 2020. Invited Talk: Harnessing SMT Solvers for Verifying Low Level Programs. In SMT Workshop 2."},{"key":"e_1_3_1_58_2","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243793"},{"key":"e_1_3_1_59_2","unstructured":"Micha Sharir and Amir Pnueli. 1981. Two Approaches to Interprocedural Data Flow Analysis. In Program Flow Analysis: Theory and Applications 189-233."},{"key":"e_1_3_1_60_2","unstructured":"Olin Grigsby Shivers. 1991. Control-Flow Analysis of Higher-Order Languages. Ph.D. Dissertation. Carnegie Mellon University USA."},{"key":"e_1_3_1_61_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598124"},{"key":"e_1_3_1_62_2","doi-asserted-by":"publisher","DOI":"10.1145\/1925844.1926390"},{"key":"e_1_3_1_63_2","doi-asserted-by":"publisher","DOI":"10.1145\/3485540"},{"key":"e_1_3_1_64_2","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594320"},{"key":"e_1_3_1_65_2","unstructured":"Solidity. Contract ABI Specification. https:\/\/docs.soliditylang.org\/en\/v0.8.25\/abi-spec.html."},{"key":"e_1_3_1_66_2","unstructured":"Solidity Team. 2020. Solidity 0.8.0 Release Announcement. https:\/\/soliditylang.org\/blog\/2020\/12\/16\/solidity-v0.8.0-release-announcement\/."},{"key":"e_1_3_1_67_2","unstructured":"Solidity Team. 2022. Solidity 0.8.13 Release Announcement. https:\/\/soliditylang.org\/blog\/2022\/03\/16\/solidity-0.8.13-release-announcement\/."},{"key":"e_1_3_1_68_2","unstructured":"Solidity Team. 2024. A Closer Look at Via-IR. https:\/\/soliditylang.org\/blog\/2024\/07\/12\/a-closer-look-at-via-ir\/."},{"key":"e_1_3_1_69_2","unstructured":"Matt Suiche. 2017. Porosity: A Decompiler for Blockchain-Based Smart Contracts Bytecode. http:\/\/web.archive.org\/web\/20170915103422\/https:\/\/www.comae.io\/reports\/dc25-msuiche-Porosity-Decompiling-Ethereum-Smart-Contracts-wp.pdf."},{"key":"e_1_3_1_70_2","doi-asserted-by":"publisher","DOI":"10.1145\/3485524"},{"key":"e_1_3_1_71_2","doi-asserted-by":"crossref","unstructured":"Tian Tan Yue Li and Jingling Xue. 2016. Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting. In Static Analysis Springer Berlin Heidelberg Berlin Heidelberg 489-510.","DOI":"10.1007\/978-3-662-53413-7_24"},{"key":"e_1_3_1_72_2","unstructured":"Michael Van Emmerik. 2007. Static Single Assignment for Decompilation. Ph.D. Dissertation. The University of Queensland."},{"key":"e_1_3_1_73_2","doi-asserted-by":"publisher","unstructured":"Valentin W\u00fcstholz and Maria Christakis. 2020. Harvey: A Greybox Fuzzer for Smart Contracts. In Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE 2020). Association for Computing Machinery New York NY USA 1398-1409. https:\/\/doi.org\/10.1145\/3368089.3417064 10.1145\/3368089.3417064.","DOI":"10.1145\/3368089.3417064"},{"key":"e_1_3_1_74_2","doi-asserted-by":"publisher","unstructured":"Khaled Yakdan Sergej Dechand Elmar Gerhards-Padilla and Matthew Smith. 2016. Helping Johnny to Analyze Malware: A Usability-Optimized Decompiler and Malware Analysis User Study. In 2016 IEEE Symposium on Security and Privacy (SP). 158-177. https:\/\/doi.org\/10.1109\/SP.2016.18 10.1109\/SP.2016.18.","DOI":"10.1109\/SP.2016.18"},{"key":"e_1_3_1_75_2","doi-asserted-by":"publisher","unstructured":"Khaled Yakdan Sebastian Eschweiler Elmar Gerhards-Padilla and Matthew Smith. 2015. No More Gotos: Decompilation Using Pattern-Independent Control-Flow Structuring and Semantics-Preserving Transformations. In Network and Distributed System Security Symposium (NDSS 2015). https:\/\/doi.org\/10.14722\/ndss.2015.23185 10.14722\/ndss.2015.23185.","DOI":"10.14722\/ndss.2015.23185"},{"key":"e_1_3_1_76_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639153"},{"key":"e_1_3_1_77_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE55347.2025.00083"},{"key":"e_1_3_1_78_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00061"},{"key":"e_1_3_1_79_2","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3616343"},{"key":"e_1_3_1_80_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639140"}],"container-title":["Proceedings of the ACM on Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3728935","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,23]],"date-time":"2026-08-23T13:50:22Z","timestamp":1787493022000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3728935"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,22]]},"references-count":79,"journal-issue":{"issue":"ISSTA","published-print":{"date-parts":[[2025,6,22]]}},"alternative-id":["10.1145\/3728935"],"URL":"https:\/\/doi.org\/10.1145\/3728935","relation":{},"ISSN":["2994-970X"],"issn-type":[{"value":"2994-970X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,6,22]]}}}