{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T03:12:50Z","timestamp":1782875570009,"version":"3.54.5"},"reference-count":86,"publisher":"Association for Computing Machinery (ACM)","issue":"FSE","license":[{"start":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T00:00:00Z","timestamp":1782777600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. ACM Softw. Eng."],"published-print":{"date-parts":[[2026,6,30]]},"abstract":"<jats:p>We present SmarTrim, a new symbolic execution technique for detecting vulnerabilities in smart contracts. Smart contracts require rigorous safety validation since flaws in them can cause significant financial loss. Numerous symbolic execution techniques, which generate vulnerable transaction sequences to trigger and help understand vulnerabilities, have been extensively studied to enhance the security and safety of smart contracts. However, their performance remains unsatisfactory due to the extremely large search space for transaction sequences. To mitigate this issue, SmarTrim introduces a novel technique that safely reduces the search space by detecting and pruning redundant transaction sequences. Experimental results show that SmarTrim greatly outperforms eleven state-of-the-art analyzers in detecting critical vulnerabilities in real-world smart contracts.<\/jats:p>","DOI":"10.1145\/3797074","type":"journal-article","created":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T17:06:14Z","timestamp":1782839174000},"page":"1011-1034","source":"Crossref","is-referenced-by-count":1,"title":["SmarTrim: Symbolic Execution for Smart Contracts Powered by Redundant Transaction-Sequence Pruning"],"prefix":"10.1145","volume":"3","author":[{"ORCID":"https:\/\/2.zoppoz.workers.dev:443\/https\/orcid.org\/0009-0007-7405-916X","authenticated-orcid":false,"given":"Hyegeun","family":"Song","sequence":"first","affiliation":[{"name":"Korea University, Seoul, Republic of Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/2.zoppoz.workers.dev:443\/https\/orcid.org\/0009-0005-0629-5131","authenticated-orcid":false,"given":"Jiseong","family":"Han","sequence":"additional","affiliation":[{"name":"Korea University, Seoul, Republic of Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/2.zoppoz.workers.dev:443\/https\/orcid.org\/0009-0000-7005-1928","authenticated-orcid":false,"given":"Sunbeom","family":"So","sequence":"additional","affiliation":[{"name":"Korea University, Seoul, Republic of Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,30]]},"reference":[{"key":"e_1_2_2_1_1","unstructured":"n. d.]. 1inch resolver suffers $5M hack due to smart contract vulnerability. https:\/\/2.zoppoz.workers.dev:443\/https\/www.tradingview.com\/news\/coint elegraph:b5d53305d094b:0-1inch-resolver-suffers-5m-hack-due-to-smart-contract-vulnerability\/. Accessed: April 2026."},{"key":"e_1_2_2_2_1","volume-title":"d.]. 487 smart contracts that contain arithmetic vulnerabilities with assigned CVE IDs. https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/kupl\/Ve riSmart-benchmarks\/tree\/master\/benchmarks\/cve","year":"2026","unstructured":"n. d.]. 487 smart contracts that contain arithmetic vulnerabilities with assigned CVE IDs. https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/kupl\/Ve riSmart-benchmarks\/tree\/master\/benchmarks\/cve. Accessed: April 2026."},{"key":"e_1_2_2_3_1","volume-title":"https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/DependableSystemsLab\/AChecker","author":"Achecker","year":"2026","unstructured":"Achecker (e4e47efb7f39bc15425fca5568528386abe3cadc). https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/DependableSystemsLab\/AChecker. Accessed: April 2026."},{"key":"e_1_2_2_4_1","volume-title":"https:\/\/2.zoppoz.workers.dev:443\/https\/bitquery.io\/","year":"2026","unstructured":"Bitquery. https:\/\/2.zoppoz.workers.dev:443\/https\/bitquery.io\/. Accessed: April 2026."},{"key":"e_1_2_2_5_1","volume-title":"https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/christoftorres\/ConFuzzius","author":"ConFuzzius","year":"2026","unstructured":"ConFuzzius (4e7e1e71358221774d2ac93ec34d590d052ad608). https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/christoftorres\/ConFuzzius. Accessed: April 2026."},{"key":"e_1_2_2_6_1","volume-title":"https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/uni-due-syssec\/efcf-framework","author":"Extremely CF","year":"2026","unstructured":"EF\/CF -the Extremely Fast (ethereum smart) Contract Fuzzer (1a7b2da6e4b5e32ee54fd8f09f3de57c811effc9). https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/uni-due-syssec\/efcf-framework. Accessed: April 2026."},{"key":"e_1_2_2_7_1","volume-title":"https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/SliSE-SC\/SliSE","author":"Reentrancy Efficient Detection","year":"2026","unstructured":"Efficient Detection of Reentrancy Vulnerabilities in Complex Smart Contracts (02832b17f385b5e9a906e4d892ea65401846566a). https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/SliSE-SC\/SliSE. Accessed: April 2026."},{"key":"e_1_2_2_8_1","volume-title":"d.]. ERC20 Token Standard. https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/ethereum\/ercs\/blob\/master\/ERCS\/erc-20.md","year":"2026","unstructured":"n. d.]. ERC20 Token Standard. https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/ethereum\/ercs\/blob\/master\/ERCS\/erc-20.md. Accessed: April 2026."},{"key":"e_1_2_2_9_1","volume-title":"https:\/\/2.zoppoz.workers.dev:443\/https\/etherscan.io","year":"2026","unstructured":"Etherscan. https:\/\/2.zoppoz.workers.dev:443\/https\/etherscan.io. Accessed: April 2026."},{"key":"e_1_2_2_10_1","volume-title":"Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts (322bdf6317fa4fdc52e0cdd5303d309fb918965a). https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/tczpl\/lent-sse","year":"2026","unstructured":"LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts (322bdf6317fa4fdc52e0cdd5303d309fb918965a). https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/tczpl\/lent-sse. Accessed: April 2026."},{"key":"e_1_2_2_11_1","volume-title":"d.]. Mythril: a security analysis tool for EVM bytecode. https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/ConsenSys\/mythril","year":"2026","unstructured":"n. d.]. Mythril: a security analysis tool for EVM bytecode. https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/ConsenSys\/mythril. Accessed: April 2026."},{"key":"e_1_2_2_12_1","volume-title":"https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/Demonhero0\/rlf","author":"RLF","year":"2026","unstructured":"RLF (258c710362d12bc42653431725669c4080d76b62). https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/Demonhero0\/rlf. Accessed: April 2026."},{"key":"e_1_2_2_13_1","volume-title":"https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/ucsb-seclab\/sailfish","author":"Sailfish","year":"2026","unstructured":"Sailfish (bbab10cde68cc12a2f50e85a40dae213f5453259). https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/ucsb-seclab\/sailfish. Accessed: April 2026."},{"key":"e_1_2_2_14_1","volume-title":"https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/Sof tSec-KAIST\/Smartian","author":"Smartian","year":"2026","unstructured":"Smartian (badd4ffe9dd47270b6abbe27af84a6435263716c). https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/Sof tSec-KAIST\/Smartian. Accessed: April 2026."},{"key":"e_1_2_2_15_1","volume-title":"d.]. Solidity Documentation. https:\/\/2.zoppoz.workers.dev:443\/https\/docs.soliditylang.org","year":"2026","unstructured":"n. d.]. Solidity Documentation. https:\/\/2.zoppoz.workers.dev:443\/https\/docs.soliditylang.org. Accessed: April 2026."},{"key":"e_1_2_2_16_1","volume-title":"A GitHub repository for SmarTest. (36d191eca5e82e52297ed78b2cf8ff2ce509f7d8). https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/kupl\/Veri Smart-public","year":"2026","unstructured":"2020. A GitHub repository for SmarTest. (36d191eca5e82e52297ed78b2cf8ff2ce509f7d8). https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/kupl\/Veri Smart-public. Accessed: April 2026."},{"key":"e_1_2_2_17_1","volume-title":"https:\/\/2.zoppoz.workers.dev:443\/https\/microsoft.github.io\/z3guide\/docs\/strategies\/summary\/#tacticelim-uncnstr","author":"An URL","year":"2026","unstructured":"An URL for the Z3's tactic elim-uncnstr. https:\/\/2.zoppoz.workers.dev:443\/https\/microsoft.github.io\/z3guide\/docs\/strategies\/summary\/#tacticelim-uncnstr. Accessed: April 2026."},{"key":"e_1_2_2_18_1","volume-title":"https:\/\/2.zoppoz.workers.dev:443\/https\/z3prover.github.io\/papers\/z3internals.html","author":"Another URL","year":"2026","unstructured":"Another URL for the Z3's tactic elim-uncnstr. https:\/\/2.zoppoz.workers.dev:443\/https\/z3prover.github.io\/papers\/z3internals.html. Accessed: April 2026."},{"key":"e_1_2_2_19_1","volume-title":"d.]. Foundry: a blazing fast, portable and modular toolkit for Ethereum application development. https:\/\/2.zoppoz.workers.dev:443\/https\/github.c om\/foundry-rs\/foundry","year":"2026","unstructured":"n. d.]. Foundry: a blazing fast, portable and modular toolkit for Ethereum application development. https:\/\/2.zoppoz.workers.dev:443\/https\/github.c om\/foundry-rs\/foundry. Accessed: April 2026."},{"key":"e_1_2_2_20_1","volume-title":"d.]. The CVE report for the Trabet_Coin contract. https:\/\/2.zoppoz.workers.dev:443\/https\/www.cve.org\/CVERecord?id=CVE-2018-13557","year":"2026","unstructured":"n. d.]. The CVE report for the Trabet_Coin contract. https:\/\/2.zoppoz.workers.dev:443\/https\/www.cve.org\/CVERecord?id=CVE-2018-13557. Accessed: April 2026."},{"key":"e_1_2_2_21_1","volume-title":"d.]. The Trabet_Coin contract. https:\/\/2.zoppoz.workers.dev:443\/https\/etherscan.io\/address\/0x2f7f26470517c43cd142ecb9a75347454af74b00\/","year":"2026","unstructured":"n. d.]. The Trabet_Coin contract. https:\/\/2.zoppoz.workers.dev:443\/https\/etherscan.io\/address\/0x2f7f26470517c43cd142ecb9a75347454af74b00\/. Accessed: April 2026."},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/3220903.3221139"},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3182657"},{"key":"e_1_2_2_24_1","volume-title":"EIP-6780: SELFDESTRUCT only in same transaction. https:\/\/2.zoppoz.workers.dev:443\/https\/eips.ethereum.org\/EIPS\/eip-6780","author":"Ballet Guillaume","year":"2026","unstructured":"Guillaume Ballet, Vitalik Buterin, and Dankrad Feist. 2023. EIP-6780: SELFDESTRUCT only in same transaction. https:\/\/2.zoppoz.workers.dev:443\/https\/eips.ethereum.org\/EIPS\/eip-6780. Accessed: April 2026."},{"key":"e_1_2_2_25_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Boonstoppel Peter","unstructured":"Peter Boonstoppel, Cristian Cadar, and Dawson Engler. 2008. RWset: Attacking Path Explosion in Constraint-Based Test Generation. In Tools and Algorithms for the Construction and Analysis of Systems, C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 351-366."},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833721"},{"key":"e_1_2_2_27_1","volume-title":"The calculus of computation: decision procedures with applications to verification","author":"Bradley Aaron R","unstructured":"Aaron R Bradley and Zohar Manna. 2007. The calculus of computation: decision procedures with applications to verification. Springer Science & Business Media."},{"key":"e_1_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639173"},{"key":"e_1_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678888"},{"key":"e_1_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"e_1_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416646"},{"key":"e_1_2_2_33_1","unstructured":"Klint Finley. [n. d.]."},{"key":"e_1_2_2_34_1","volume-title":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.wired.com\/2016 \/06\/50-million-hack-just-showed-dao-human\/","author":"Million Hack Just Showed A","year":"2026","unstructured":"A $50 Million Hack Just Showed That the DAO Was All Too Human. https:\/\/2.zoppoz.workers.dev:443\/https\/www.wired.com\/2016 \/06\/50-million-hack-just-showed-dao-human\/. Accessed: April 2026."},{"key":"e_1_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534378"},{"key":"e_1_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00087"},{"key":"e_1_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786841"},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3728872"},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00142"},{"key":"e_1_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363230"},{"key":"e_1_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491425"},{"key":"e_1_2_2_42_1","volume-title":"Santosa","author":"Jaffar Joxan","year":"2012","unstructured":"Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, and Andrew E. Santosa. 2012. TRACER: A Symbolic Execution Tool for Verification. In Computer Aided Verification, P. Madhusudan and Sanjit A. Seshia (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 758-766."},{"key":"e_1_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_32"},{"key":"e_1_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.5555\/1788994.1789034"},{"key":"e_1_2_2_45_1","volume-title":"ZEUS: Analyzing Safety of Smart Contracts. In 25th Annual Network and Distributed System Security Symposium, NDSS 2018","author":"Kalra Sukrit","year":"2018","unstructured":"Sukrit Kalra, Seep Goel, Mohan Dhawan, and Subodh Sharma. 2018. ZEUS: Analyzing Safety of Smart Contracts. In 25th Annual Network and Distributed System Security Symposium, NDSS 2018, San Diego, California, USA, February 18-21, 2018. The Internet Society. https:\/\/2.zoppoz.workers.dev:443\/http\/wp.internetsociety.org\/ndss\/wp-content\/uploads\/sites\/25\/2018\/02\/ndss2018_09- 1_Kalra_paper.pdf"},{"key":"e_1_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293"},{"key":"e_1_2_2_47_1","volume-title":"d.]. Attempting to speed up static analysis. https:\/\/2.zoppoz.workers.dev:443\/https\/lists.llvm.org\/pipermail\/cfe-dev\/2015- August\/044825.html","author":"Kremenek Ted","year":"2026","unstructured":"Ted Kremenek. [n. d.]. Attempting to speed up static analysis. https:\/\/2.zoppoz.workers.dev:443\/https\/lists.llvm.org\/pipermail\/cfe-dev\/2015- August\/044825.html. Accessed: April 2026."},{"key":"e_1_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3691620.3695601"},{"key":"e_1_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2652484"},{"key":"e_1_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598111"},{"key":"e_1_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3643738"},{"key":"e_1_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534372"},{"key":"e_1_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/37"},{"key":"e_1_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3616281"},{"key":"e_1_2_2_55_1","volume-title":"Lazy Annotation for Program Testing and Verification","author":"McMillan Kenneth L.","unstructured":"Kenneth L. McMillan. 2010. Lazy Annotation for Program Testing and Verification. In Computer Aided Verification, Tayssir Touili, Byron Cook, and Paul Jackson (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 104-118."},{"key":"e_1_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598133"},{"key":"e_1_2_2_57_1","volume-title":"d.]. The Parity Wallet Hack Explained. https:\/\/2.zoppoz.workers.dev:443\/https\/blog.openzeppelin.com\/on-the-parity-walletmultisig-hack-405a8c12e8f7\/","author":"Palladino Santiago","year":"2026","unstructured":"Santiago Palladino. [n. d.]. The Parity Wallet Hack Explained. https:\/\/2.zoppoz.workers.dev:443\/https\/blog.openzeppelin.com\/on-the-parity-walletmultisig-hack-405a8c12e8f7\/. Accessed: April 2026."},{"key":"e_1_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00185"},{"key":"e_1_2_2_59_1","unstructured":"Priya. [n. d.]."},{"key":"e_1_2_2_60_1","volume-title":"https:\/\/2.zoppoz.workers.dev:443\/https\/cyberpress.org\/smart-contract-vulnerabilities\/","author":"Cybercriminals Exploit Over","year":"2026","unstructured":"Over $900K Stolen as Cybercriminals Exploit Vulnerabilities in Smart Contracts to Target Crypto Wallets. https:\/\/2.zoppoz.workers.dev:443\/https\/cyberpress.org\/smart-contract-vulnerabilities\/. Accessed: April 2026."},{"key":"e_1_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2522920.2522925"},{"key":"e_1_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP57164.2023.00034"},{"key":"e_1_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417250"},{"key":"e_1_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598059"},{"key":"e_1_2_2_65_1","volume-title":"30th USENIX Security Symposium (USENIX Security 21)","author":"So Sunbeom","year":"2021","unstructured":"Sunbeom So, Seongjoon Hong, and Hakjoo Oh. 2021. SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution. In 30th USENIX Security Symposium (USENIX Security 21). USENIX Association. https:\/\/2.zoppoz.workers.dev:443\/https\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/so"},{"key":"e_1_2_2_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000"},{"key":"e_1_2_2_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3616341"},{"key":"e_1_2_2_68_1","doi-asserted-by":"publisher","unstructured":"Hyegeun Song Jiseong Han and Sunbeom So. 2026. SmarTrim: Symbolic Execution for Smart Contracts Powered by Redundant Transaction-Sequence Pruning. doi:10.5281\/zenodo.19583475 10.5281\/zenodo.19583475","DOI":"10.5281\/zenodo.19583475"},{"key":"e_1_2_2_69_1","doi-asserted-by":"crossref","unstructured":"Hyegeun Song Jiseong Han and Sunbeom So. 2026. SmarTrim: Symbolic Execution for Smart Contracts Powered by Redundant Transaction-Sequence Pruning. https:\/\/2.zoppoz.workers.dev:443\/https\/github.com\/ku-formal\/SmarTrim-Artifact\/tree\/fse2026","DOI":"10.1145\/3797074"},{"key":"e_1_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00085"},{"key":"e_1_2_2_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3560429"},{"key":"e_1_2_2_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639117"},{"key":"e_1_2_2_73_1","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP51992.2021.00018"},{"key":"e_1_2_2_74_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2584063"},{"key":"e_1_2_2_75_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP54263.2024.00126"},{"key":"e_1_2_2_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/3643734"},{"key":"e_1_2_2_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/3691620.3695482"},{"key":"e_1_2_2_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/3650212.3680321"},{"key":"e_1_2_2_79_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2015.7102601"},{"key":"e_1_2_2_80_1","doi-asserted-by":"publisher","DOI":"10.1109\/TS"},{"key":"e_1_2_2_81_1","doi-asserted-by":"publisher","DOI":"10.1109\/QRS57517.2022.00068"},{"key":"e_1_2_2_82_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2019.00052"},{"key":"e_1_2_2_83_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP54263.2024.00146"},{"key":"e_1_2_2_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/3650212.3680303"},{"key":"e_1_2_2_85_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534395"},{"key":"e_1_2_2_86_1","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:\/\/2.zoppoz.workers.dev:443\/https\/dl.acm.org\/doi\/pdf\/10.1145\/3797074","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T17:52:24Z","timestamp":1782841944000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/dl.acm.org\/doi\/10.1145\/3797074"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,30]]},"references-count":86,"journal-issue":{"issue":"FSE","published-print":{"date-parts":[[2026,6,30]]}},"alternative-id":["10.1145\/3797074"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1145\/3797074","relation":{},"ISSN":["2994-970X"],"issn-type":[{"value":"2994-970X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,6,30]]}}}