{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T09:16:27Z","timestamp":1758618987747,"version":"3.44.0"},"reference-count":26,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.427.7","type":"journal-article","created":{"date-parts":[[2025,9,15]],"date-time":"2025-09-15T12:57:07Z","timestamp":1757941027000},"page":"98-116","source":"Crossref","is-referenced-by-count":0,"title":["Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models"],"prefix":"10.4204","volume":"427","author":[{"given":"\u015etefan-Claudiu","family":"Susan","sequence":"first","affiliation":[{"name":"\"Alexandru Ioan Cuza\", University of Ia\u015fi, Department of Computer Science"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrei","family":"Arusoaie","sequence":"additional","affiliation":[{"name":"\"Alexandru Ioan Cuza\", University of Ia\u015fi, Department of Computer Science"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dorel","family":"Lucanu","sequence":"additional","affiliation":[{"name":"\"Alexandru Ioan Cuza\", University of Ia\u015fi, Department of Computer Science"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"2720","published-online":{"date-parts":[[2025,9,16]]},"reference":[{"issue":"5","key":"ESE_Paper","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-024-10509-w","article-title":"Towards Trusted Smart Contracts: A Comprehensive Test Suite For Vulnerability Detection","volume":"29","author":"Arusoaie","year":"2024","journal-title":"Empirical Software Engineering"},{"key":"SurveyEthereumAttacks","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54455-6_8","article-title":"A Survey of Attacks on Ethereum Smart Contracts SoK","volume-title":"Proceedings of the 6th International Conference on Principles of Security and Trust - Volume 10204","author":"Atzei","year":"2017"},{"key":"arbaldoni2018survey","doi-asserted-by":"publisher","DOI":"10.1145\/3182657","article-title":"A Survey of Symbolic Execution Techniques","volume":"51","author":"Baldoni","year":"2018","journal-title":"ACM Computing Surveys"},{"volume-title":"Proof of stake: The making of Ethereum and the philosophy of blockchains","year":"2022","author":"Buterin","key":"buterin2022proof"},{"issue":"37","key":"Ethereum","first-page":"2","article-title":"A next-generation smart contract and decentralized application platform","volume":"3","author":"Buterin","year":"2014","journal-title":"white paper"},{"key":"chen2023chatgpt","doi-asserted-by":"publisher","DOI":"10.1145\/3702973","article-title":"When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We?","volume":"34","author":"Chen","year":"2024","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"Hevm","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/978-3-031-65627-9_22","volume-title":"Hevm, a Fast Symbolic Execution Framework for EVM Bytecode","author":"Dxo","year":"2024"},{"key":"Slither","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/WETSEB.2019.00008","article-title":"Slither: a static analysis framework for smart contracts","volume-title":"2019 IEEE\/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB)","author":"Feist","year":"2019"},{"key":"hajdu2019solc","doi-asserted-by":"publisher","first-page":"161","DOI":"10.48550\/arXiv.1907.04262","article-title":"solc-verify: A Modular Verifier for Solidity Smart Contracts","volume-title":"Working conference on verified software: theories, tools, and experiments","author":"Hajdu","year":"2019"},{"key":"Kevm","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1109\/CSF.2018.00022","article-title":"KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine","author":"Hildenbrandt","year":"2018"},{"key":"king1976symbolic","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","article-title":"Symbolic Execution and Program Testing","volume":"19","author":"King","year":"1976","journal-title":"Commun. ACM"},{"key":"li2025iris","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2405.17238","article-title":"LLM-Assisted Static Analysis for Detecting Security Vulnerabilities","volume-title":"International Conference on Learning Representations","author":"Li","year":"2025"},{"issue":"1","key":"DAO","doi-asserted-by":"publisher","first-page":"19","DOI":"10.4018\/JCIT.2019010102","article-title":"Understanding a revolutionary and flawed grand experiment in blockchain: the DAO attack","volume":"21","author":"Mehar","year":"2019","journal-title":"Journal of Cases on Information Technology (JCIT)"},{"article-title":"Bitcoin: A peer-to-peer electronic cash system","year":"2008","author":"Nakamoto","key":"Bitcoin"},{"key":"FormVerificationEVM","series-title":"ESEC\/FSE 2018","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3264591","article-title":"A formal verification tool for Ethereum VM bytecode","author":"Park","year":"2018"},{"key":"rameder2022review","doi-asserted-by":"publisher","DOI":"10.3389\/fbloc.2022.814977.s001","article-title":"Review of automated vulnerability analysis of smart contracts on Ethereum","volume":"5","author":"Rameder","year":"2022","journal-title":"Frontiers in Blockchain"},{"key":"KFramework","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2010.03.012","article-title":"An Overview of the K Semantic Framework","volume":"79","author":"Ro\u015fu","year":"2010","journal-title":"The Journal of Logic and Algebraic Programming"},{"key":"schiffl2021towards","series-title":"SACMAT '21","doi-asserted-by":"publisher","DOI":"10.1145\/3450569.3463574","article-title":"Towards Correct Smart Contracts: A Case Study on Formal Verification of Access Control","volume-title":"Proceedings of the 26th ACM Symposium on Access Control Models and Technologies","author":"Schiffl","year":"2021"},{"issue":"75","key":"Mythril","first-page":"51003","article-title":"A survey of Mythril, a smart contract security analysis tool for EVM bytecode","volume":"13","author":"Sharma","year":"2022","journal-title":"Indian Journal of Natural Sciences"},{"key":"from2024","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.410.10","article-title":"Leveraging Slither and Interval Analysis to build a Static Analysis Tool","volume":"410","author":"Susan","year":"2024","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"from2023","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.389.12","article-title":"Identifying Vulnerabilities in Smart Contracts using Interval Analysis","volume":"389","author":"Susan","year":"2023","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"issue":"2","key":"szabo1996smart","article-title":"Smart contracts: building blocks for digital markets","volume":"18","author":"Szabo","year":"1996","journal-title":"EXTROPY: The Journal of Transhumanist Thought,(16)"},{"key":"Securify","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/3243734.3243780","article-title":"Securify: Practical security analysis of smart contracts","volume-title":"Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security","author":"Tsankov","year":"2018"},{"key":"wei2024llm","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2410.09381","article-title":"LLM-SmartAudit: Advanced Smart Contract Vulnerability Detection","author":"Wei","year":"2024","journal-title":"arXiv preprint arXiv:2410.09381"},{"issue":"2014","key":"wood2014ethereum","first-page":"1","article-title":"Ethereum: A secure decentralised generalised transaction ledger","volume":"151","author":"Wood","year":"2014","journal-title":"Ethereum project yellow paper"},{"key":"xiao2025logic","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2501.07058","article-title":"Logic meets magic: Llms cracking smart contract vulnerabilities","author":"Xiao","year":"2025","journal-title":"arXiv preprint arXiv:2501.07058"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T08:17:44Z","timestamp":1758615464000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2509.13023v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,16]]},"references-count":26,"URL":"https:\/\/doi.org\/10.4204\/eptcs.427.7","relation":{},"ISSN":["2075-2180"],"issn-type":[{"type":"electronic","value":"2075-2180"}],"subject":[],"published":{"date-parts":[[2025,9,16]]}}}