{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,10]],"date-time":"2026-10-10T15:15:57Z","timestamp":1791645357856,"version":"4.3.4"},"reference-count":66,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T00:00:00Z","timestamp":1721865600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T00:00:00Z","timestamp":1721865600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2024,9]]},"DOI":"10.1007\/s10664-024-10509-w","type":"journal-article","created":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T04:01:54Z","timestamp":1721880114000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Towards Trusted Smart Contracts: A Comprehensive Test Suite For Vulnerability Detection"],"prefix":"10.1007","volume":"29","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2789-6009","authenticated-orcid":false,"given":"Andrei","family":"Arusoaie","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"\u0218tefan-Claudiu","family":"Susan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,7,25]]},"reference":[{"key":"10509_CR1","unstructured":"SWC (2023) Smart contract weakness classification and test cases. https:\/\/swcregistry.io\/. Accessed 04 April 2023"},{"key":"10509_CR2","unstructured":"Solidity documentation. https:\/\/docs.soliditylang.org\/en\/v0.8.16\/. Accessed 01 September 2022"},{"key":"10509_CR3","doi-asserted-by":"crossref","unstructured":"Akca S, Rajan A, Peng, C (2019) Solanalyser: A framework for analysing and testing smart contracts. 2019 26th Asia-Pacific Software Engineering Conference (APSEC) pp 482\u2013489","DOI":"10.1109\/APSEC48747.2019.00071"},{"key":"10509_CR4","doi-asserted-by":"crossref","unstructured":"Albert E, Correas J, Gordillo P, Rom\u00e1n-D\u00edez G, Rubio A (2019) SAFEVM: A Safety Verifier for Ethereum Smart Contracts. Association for Computing Machinery, New York, NY, USA p 386-389 https:\/\/doi.org\/10.1145\/3293882.3338999","DOI":"10.1145\/3293882.3338999"},{"key":"10509_CR5","unstructured":"Ardit D (2017) Ethereum smart contracts: Security vulnerabilities and security tools. Master\u2019s thesis, Trondheim, Norway: Norwegian University of Science and Technology, Department of Computer Science"},{"key":"10509_CR6","doi-asserted-by":"publisher","unstructured":"Arusoaie A, Ciob\u00e2c\u0103 \u015e, Craciun V, Gavrilut D, Lucanu D (2017) A comparison of open-source static analysis tools for vulnerability detection in C\/C++ code. In: T.\u00a0Jebelean, V.\u00a0Negru, D.\u00a0Petcu, D.\u00a0Zaharie, T.\u00a0Ida, S.M. Watt (eds.) 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, 21-24 September 2017, IEEE Computer Society pp 161\u2013168 https:\/\/doi.org\/10.1109\/SYNASC.2017.00035","DOI":"10.1109\/SYNASC.2017.00035"},{"key":"10509_CR7","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-662-54455-6_8","volume-title":"Principles of Security and Trust","author":"N Atzei","year":"2017","unstructured":"Atzei N, Bartoletti M, Cimoli T (2017) A survey of attacks on ethereum smart contracts (sok). In: Maffei M, Ryan M (eds) Principles of Security and Trust. Springer, Berlin, Heidelberg, pp 164\u2013186"},{"key":"10509_CR8","unstructured":"Breidenbach L, Daian P, Juels A, Sirer EG (2017) An in-depth look at the parity multisig bug. https:\/\/hackingdistributed.com\/2017\/07\/22\/deep-dive-parity-bug\/"},{"key":"10509_CR9","unstructured":"Buterin V (2014) A next-generation smart contract and decentralized application platform. https:\/\/ethereum.org\/en\/whitepaper\/"},{"key":"10509_CR10","doi-asserted-by":"publisher","unstructured":"Chen J, Xia X, Lo D, Grundy J, Luo X, Chen T (2021) Defectchecker: Automated smart contract defect detection by analyzing evm bytecode. IEEE Trans Software Engr pp 1\u20131 https:\/\/doi.org\/10.1109\/TSE.2021.3054928","DOI":"10.1109\/TSE.2021.3054928"},{"issue":"1","key":"10509_CR11","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1109\/TSE.2020.2989002","volume":"48","author":"J Chen","year":"2022","unstructured":"Chen J, Xia X, Lo D, Grundy J, Luo X, Chen T (2022) Defining smart contract defects on ethereum. IEEE Trans Software Eng 48(1):327\u2013345. https:\/\/doi.org\/10.1109\/TSE.2020.2989002","journal-title":"IEEE Trans Software Eng"},{"key":"10509_CR12","doi-asserted-by":"publisher","unstructured":"Chen J, Xia X, Lo D, Grundy JC, Luo X, Chen T (2022) Defining smart contract defects on ethereum. IEEE Trans. Software Eng 48(2):327\u2013345 https:\/\/doi.org\/10.1109\/TSE.2020.2989002https:\/\/doi.org\/10.1109\/TSE.2020.2989002","DOI":"10.1109\/TSE.2020.2989002"},{"key":"10509_CR13","unstructured":"Consensys (2023) Mythril. https:\/\/github.com\/Consensys\/mythril"},{"key":"10509_CR14","unstructured":"Edmondson M (2019) bigQueryR: Interface with Google BigQuery with Shiny Compatibility. R package version 0.5.0"},{"key":"10509_CR15","doi-asserted-by":"publisher","unstructured":"Feist J, Greico G, Groce A (2019) Slither: A static analysis framework for smart contracts. In: Proceedings of the 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain, WETSEB \u201919, p 8-15 IEEE Press https:\/\/doi.org\/10.1109\/WETSEB.2019.00008https:\/\/doi.org\/10.1109\/WETSEB.2019.00008","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"10509_CR16","doi-asserted-by":"crossref","unstructured":"Ferreira J, Durieux T, Maranhao R (2020) Smartbugs wild. https:\/\/github.com\/smartbugs\/smartbugs-wild","DOI":"10.1145\/3324884.3415298"},{"key":"10509_CR17","unstructured":"Ferreira J, Salzer G (2023) Smartbugs curated. https:\/\/github.com\/smartbugs\/smartbugs-curated"},{"key":"10509_CR18","doi-asserted-by":"publisher","unstructured":"Ferreira JaF, Cruz P, Durieux T, Abreu R (2020) Smartbugs: A framework to analyze solidity smart contracts. In: Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering, ASE \u201920, Association for Computing Machinery, New York, NY, USA p 1349-1352 https:\/\/doi.org\/10.1145\/3324884.3415298https:\/\/doi.org\/10.1145\/3324884.3415298","DOI":"10.1145\/3324884.3415298"},{"key":"10509_CR19","doi-asserted-by":"crossref","unstructured":"Ghaleb A, Pattabiraman K (2020) How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection. Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis","DOI":"10.1145\/3395363.3397385"},{"key":"10509_CR20","unstructured":"Ghaleb A, Pattabiraman K (2020) Solidifi benchmark. https:\/\/github.com\/DependableSystemsLab\/SolidiFI-benchmark"},{"key":"10509_CR21","first-page":"243","volume-title":"Principles of Security and Trust","author":"I Grishchenko","year":"2018","unstructured":"Grishchenko I, Maffei M, Schneidewind C (2018) A semantic framework for the security analysis of ethereum smart contracts. In: Bauer L, K\u00fcsters R (eds) Principles of Security and Trust. Springer International Publishing, Cham, pp 243\u2013269"},{"key":"10509_CR22","unstructured":"Heidelinde\u00a0Rameder Monika di\u00a0Angelo GS (2022) Supplementary material. https:\/\/www.frontiersin.org\/articles\/10.3389\/fbloc.2022.814977\/full#supplementary-material"},{"key":"10509_CR23","doi-asserted-by":"publisher","unstructured":"Hwang S, Ryu S (2020) Gap between theory and practice: an empirical study of security patches in solidity. In: G.\u00a0Rothermel, D.\u00a0Bae (eds.) ICSE \u201920: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020, ACM pp 542\u2013553 https:\/\/doi.org\/10.1145\/3377811.3380424https:\/\/doi.org\/10.1145\/3377811.3380424","DOI":"10.1145\/3377811.3380424"},{"key":"10509_CR24","unstructured":"Kalra S, Goel S, Dhawan M, Sharma S (2018) ZEUS: analyzing safety of smart contracts. In: 25th Annual Network and Distributed System Security Symposium, NDSS 2018, San Diego, California, USA, 18-21 February 2018. The Internet Society http:\/\/wp.internetsociety.org\/ndss\/wp-content\/uploads\/sites\/25\/2018\/02\/ndss2018_09-1_Kalra_paper.pdf"},{"key":"10509_CR25","doi-asserted-by":"crossref","unstructured":"Kolluri A, Nikolic I, Sergey I, Hobor A, Saxena P (2019) Exploiting the Laws of Order in Smart Contracts, Association for Computing Machinery, New York, NY, USA p 363-373 https:\/\/doi.org\/10.1145\/3293882.3330560","DOI":"10.1145\/3293882.3330560"},{"key":"10509_CR26","doi-asserted-by":"publisher","unstructured":"Liao JW, Tsai TT, He CK, Tien CW (2019) Soliaudit: Smart contract vulnerability assessment based on machine learning and fuzz testing. In: 2019 Sixth International Conference on Internet of Things: Systems, Management and Security (IOTSMS), pp 458\u2013465 https:\/\/doi.org\/10.1109\/IOTSMS48152.2019.8939256","DOI":"10.1109\/IOTSMS48152.2019.8939256"},{"key":"10509_CR27","doi-asserted-by":"publisher","unstructured":"Liao Z, Song S, Zhu H, Luo X, He Z, Jiang R, Chen T, Chen J, Zhang T, Zhang X (2023) Large-scale empirical study of inline assembly on 7.6 million ethereum smart contracts. IEEE Transactions on Software Engineering 49(2):777\u2013801 https:\/\/doi.org\/10.1109\/TSE.2022.3163614","DOI":"10.1109\/TSE.2022.3163614"},{"key":"10509_CR28","doi-asserted-by":"crossref","unstructured":"Liu H, Liu C, Zhao W, Jiang Y, Sun J (2018) S-Gram: Towards Semantic-Aware Security Auditing for Ethereum Smart Contracts, Association for Computing Machinery, New York, NY, USA p 814\u2013819 https:\/\/doi.org\/10.1145\/3238147.3240728","DOI":"10.1145\/3238147.3240728"},{"key":"10509_CR29","doi-asserted-by":"publisher","unstructured":"Liu Y, Li Y, Lin SW, Zhao R (2020) Towards automated verification of smart contract fairness. In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/FSE 2020, p 666-677 Association for Computing Machinery, New York, NY, USA https:\/\/doi.org\/10.1145\/3368089.3409740https:\/\/doi.org\/10.1145\/3368089.3409740","DOI":"10.1145\/3368089.3409740"},{"key":"10509_CR30","doi-asserted-by":"publisher","unstructured":"Luu L, Chu DH, Olickel H, Saxena P, Hobor A (2016) Making smart contracts smarter. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, CCS \u201916, Association for Computing Machinery, New York, NY, USA p 254\u2013269 https:\/\/doi.org\/10.1145\/2976749.2978309https:\/\/doi.org\/10.1145\/2976749.2978309","DOI":"10.1145\/2976749.2978309"},{"key":"10509_CR31","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-030-61467-6_12","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Applications","author":"M Marescotti","year":"2020","unstructured":"Marescotti M, Otoni R, Alt L, Eugster P, Hyv\u00e4rinen AEJ, Sharygina N (2020) Accurate smart contract verification through direct modelling. In: Margaria T, Steffen B (eds) Leveraging Applications of Formal Methods, Verification and Validation: Applications. Springer International Publishing, Cham, pp 178\u2013194"},{"key":"10509_CR32","doi-asserted-by":"publisher","unstructured":"Mei X, Ashraf I, Jiang B, Chan W (2019) A fuzz testing service for assuring smart contracts. In: 2019 IEEE 19th International Conference on Software Quality, Reliability and Security Companion (QRS-C), pp 544\u2013545 https:\/\/doi.org\/10.1109\/QRS-C.2019.00116","DOI":"10.1109\/QRS-C.2019.00116"},{"key":"10509_CR33","doi-asserted-by":"publisher","unstructured":"Mense A, Flatscher M (2018) Security vulnerabilities in ethereum smart contracts. In: Proceedings of the 20th International Conference on Information Integration and Web-Based Applications and Services, iiWAS2018, Association for Computing Machinery, New York, NY, USA p 375-380 https:\/\/doi.org\/10.1145\/3282373.3282419https:\/\/doi.org\/10.1145\/3282373.3282419","DOI":"10.1145\/3282373.3282419"},{"key":"10509_CR34","doi-asserted-by":"crossref","unstructured":"Mossberg M, Manzano F, Hennenfent,E, Groce A, Grieco G, Feist J, Brunson T, Dinaburg A (2019) Manticore: A user-friendly symbolic execution framework for binaries and smart contracts. CoRR abs\/1907.03890 http:\/\/arxiv.org\/abs\/1907.03890","DOI":"10.1109\/ASE.2019.00133"},{"key":"10509_CR35","unstructured":"DASP (2018) NCC-Group: Decentralized application security project. https:\/\/dasp.co\/ Accessed 04 April 2023"},{"key":"10509_CR36","doi-asserted-by":"publisher","unstructured":"Nguyen TD, Pham LH, Sun J, Lin Y, Minh QT (2020) Sfuzz: An efficient adaptive fuzzer for solidity smart contracts. In: Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering, ICSE \u201920, Association for Computing Machinery, New York, NY, USA p 778\u2013788 https:\/\/doi.org\/10.1145\/3377811.3380334https:\/\/doi.org\/10.1145\/3377811.3380334","DOI":"10.1145\/3377811.3380334"},{"key":"10509_CR37","doi-asserted-by":"crossref","unstructured":"Nikolic I, Kolluri A, Sergey I, Saxena P, Hobor A (2018) Finding the greedy, prodigal, and suicidal contracts at scale. CoRR abs\/1802.06038 http:\/\/arxiv.org\/abs\/1802.06038","DOI":"10.1145\/3274694.3274743"},{"key":"10509_CR38","unstructured":"Parizi R, Dehghantanha A, Choo KKR, A S (2018) Empirical Vulnerability Analysis of Automated Smart Contracts Security Testing on Blockchains. https:\/\/arxiv.org\/abs\/1809.02702 [Accessed 22-01-2024]"},{"key":"10509_CR39","unstructured":"Parizi RM, Dehghantanha A, Choo KKR, Singh A (2018) Empirical vulnerability analysis of automated smart contracts security testing on blockchains. In: Proceedings of the 28th Annual International Conference on Computer Science and Software Engineering, CASCON IBM Corp,. USA \u201918, p 103\u2013113"},{"key":"10509_CR40","doi-asserted-by":"publisher","unstructured":"Permenev A, Dimitrov D, Tsankov P, Drachsler-Cohen D, Vechev M (2020) Verx: Safety verification of smart contracts. In: 2020 IEEE Symposium on Security and Privacy (SP), pp 1661\u20131677 https:\/\/doi.org\/10.1109\/SP40000.2020.00024","DOI":"10.1109\/SP40000.2020.00024"},{"key":"10509_CR41","doi-asserted-by":"crossref","unstructured":"Pinna A, Ibba S, Baralla G, Tonelli R, Marchesi M (2019) A massive analysis of ethereum smart contracts empirical study and code metrics. IEEE Access 7:78194\u201378213 https:\/\/api.semanticscholar.org\/CorpusID:195739865","DOI":"10.1109\/ACCESS.2019.2921936"},{"key":"10509_CR42","doi-asserted-by":"publisher","first-page":"78194","DOI":"10.1109\/ACCESS.2019.2921936","volume":"7","author":"A Pinna","year":"2019","unstructured":"Pinna A, Ibba S, Baralla G, Tonelli R, Marchesi M (2019) A massive analysis of ethereum smart contracts empirical study and code metrics. IEEE Access 7:78194\u201378213. https:\/\/doi.org\/10.1109\/ACCESS.2019.2921936","journal-title":"IEEE Access"},{"key":"10509_CR43","doi-asserted-by":"publisher","unstructured":"Qian P, Liu Z, He Q, Huang B, Tian D, Wang X (2022) Smart contract vulnerability detection technique: A survey. CoRR abs\/2209.05872 https:\/\/doi.org\/10.48550\/ARXIV.2209.05872https:\/\/doi.org\/10.48550\/arXiv.2209.05872","DOI":"10.48550\/ARXIV.2209.05872"},{"key":"10509_CR44","doi-asserted-by":"publisher","unstructured":"Rameder H, di\u00a0Angelo M, Salzer G (2022) Review of automated vulnerability analysis of smart contracts on ethereum. Frontiers in Blockchain 5 https:\/\/doi.org\/10.3389\/fbloc.2022.814977","DOI":"10.3389\/fbloc.2022.814977"},{"key":"10509_CR45","unstructured":"Remix Project Team: Remix: Integrated Development Environment for Smart contracts. Funded by Ethereum Foundation, located in Berlin (2023) https:\/\/remix-project.org\/"},{"key":"10509_CR46","doi-asserted-by":"publisher","unstructured":"Ren M, Yin Z, Ma F, Xu Z, Jiang Y, Sun C, Li H, Cai Y (2021) Empirical evaluation of smart contract testing: what is the best choice? In: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2021, Association for Computing Machinery, New York, NY, USA p 566\u2013579 https:\/\/doi.org\/10.1145\/3460319.3464837https:\/\/doi.org\/10.1145\/3460319.3464837","DOI":"10.1145\/3460319.3464837"},{"key":"10509_CR47","unstructured":"Samreen NF, Alalfi MH (2021) A survey of security vulnerabilities in ethereum smart contracts. ArXiv abs\/2105.06974 https:\/\/api.semanticscholar.org\/CorpusID:234681328"},{"key":"10509_CR48","doi-asserted-by":"crossref","unstructured":"Schneidewind C, Grishchenko I, Scherer M, Maffei M (2020) EThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts, Association for Computing Machinery, New York, NY, USA p 621\u2013640 https:\/\/doi.org\/10.1145\/3372297.3417250","DOI":"10.1145\/3372297.3417250"},{"key":"10509_CR49","doi-asserted-by":"publisher","unstructured":"Shiraishi S, Mohan V, Marimuthu H (2015) Test suites for benchmarks of static analysis tools. In: 2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp 12\u201315 https:\/\/doi.org\/10.1109\/ISSREW.2015.7392027","DOI":"10.1109\/ISSREW.2015.7392027"},{"key":"10509_CR50","unstructured":"Siegel D (2016) Understanding the dao attack. https:\/\/www.coindesk.com\/learn\/2016\/06\/25\/understanding-the-dao-attack\/"},{"key":"10509_CR51","doi-asserted-by":"crossref","unstructured":"Staderini M, Palli C, Bondavalli A (2020) Classification of ethereum vulnerabilities and their propagations. 2020 Second International Conference on Blockchain Computing and Applications (BCCA) pp 44\u201351 https:\/\/api.semanticscholar.org\/CorpusID:228093407","DOI":"10.1109\/BCCA50787.2020.9274458"},{"key":"10509_CR52","unstructured":"SunWeb3Sec (2023) Defihacks. https:\/\/github.com\/SunWeb3Sec\/DeFiHackLabs\/"},{"key":"10509_CR53","doi-asserted-by":"publisher","unstructured":"Tantikul P, Ngamsuriyaroj S (2020) Exploring vulnerabilities in solidity smart contract. In: Proceedings of the 6th International Conference on Information Systems Security and Privacy - Volume 1: ICISSP,, pp 317\u2013324 INSTICC, SciTePress https:\/\/doi.org\/10.5220\/0008909803170324","DOI":"10.5220\/0008909803170324"},{"key":"10509_CR54","doi-asserted-by":"crossref","unstructured":"Tikhomirov S, Voskresenskaya E, Ivanitskiy I, Takhaviev R, Marchenko E, Alexandrov Y (2018) Smartcheck: Static analysis of ethereum smart contracts. In: 2018 IEEE\/ACM 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), pp 9\u201316","DOI":"10.1145\/3194113.3194115"},{"key":"10509_CR55","doi-asserted-by":"publisher","unstructured":"Tolmach P, Li Y, Lin SW, Liu Y, Li Z (2021) A survey of smart contract formal specification and verification. ACM Comput Surv 54(7) https:\/\/doi.org\/10.1145\/3464421https:\/\/doi.org\/10.1145\/3464421","DOI":"10.1145\/3464421"},{"key":"10509_CR56","doi-asserted-by":"publisher","unstructured":"Torres CF, Sch\u00fctte J, State R (2018) Osiris: Hunting for integer bugs in ethereum smart contracts. In: Proceedings of the 34th Annual Computer Security Applications Conference, ACSAC \u201918, p 664\u2013676 Association for Computing Machinery, New York, NY, USA https:\/\/doi.org\/10.1145\/3274694.3274737https:\/\/doi.org\/10.1145\/3274694.3274737","DOI":"10.1145\/3274694.3274737"},{"key":"10509_CR57","unstructured":"Torres CF, Steichen M, State R (2019) The art of the scam: Demystifying honeypots in ethereum smart contracts. In: 28th USENIX Security Symposium (USENIX Security 19), USENIX Association, Santa Clara, CA pp 1591\u20131607 https:\/\/www.usenix.org\/conference\/usenixsecurity19\/presentation\/ferreira"},{"key":"10509_CR58","doi-asserted-by":"publisher","unstructured":"Tsankov P, Dan A, Drachsler-Cohen D, Gervais A, B\u00fcnzli, F, Vechev M (2018) Securify: Practical security analysis of smart contracts. In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS \u201918, Association for Computing Machinery, New York, NY, USA p 67\u201382 https:\/\/doi.org\/10.1145\/3243734.3243780https:\/\/doi.org\/10.1145\/3243734.3243780","DOI":"10.1145\/3243734.3243780"},{"key":"10509_CR59","doi-asserted-by":"publisher","unstructured":"Wang H, Li Y, Lin SW, Ma L, Liu Y (2019) Vultron: Catching vulnerable smart contracts once and for all. In: 2019 IEEE\/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER), pp 1\u20134 https:\/\/doi.org\/10.1109\/ICSE-NIER.2019.00009","DOI":"10.1109\/ICSE-NIER.2019.00009"},{"issue":"3","key":"10509_CR60","doi-asserted-by":"publisher","first-page":"1795","DOI":"10.1109\/TDSC.2020.3037332","volume":"19","author":"H Wang","year":"2022","unstructured":"Wang H, Liu Y, Li Y, Lin SW, Artho C, Ma L, Liu Y (2022) Oracle-supported dynamic exploit generation for smart contracts. IEEE Trans Dependable Secure Comput 19(3):1795\u20131809. https:\/\/doi.org\/10.1109\/TDSC.2020.3037332","journal-title":"IEEE Trans Dependable Secure Comput"},{"key":"10509_CR61","doi-asserted-by":"publisher","unstructured":"Wang S, Zhang C, Su Z (2019) Detecting nondeterministic payment bugs in ethereum smart contracts. Proc. ACM Program. Lang. 3(OOPSLA) https:\/\/doi.org\/10.1145\/3360615https:\/\/doi.org\/10.1145\/3360615","DOI":"10.1145\/3360615"},{"key":"10509_CR62","unstructured":"Xu Z, Ren M (2021) Smart-contract-benchmark-suites: A unified dataset. https:\/\/github.com\/renardbebe\/Smart-Contract-Benchmark-Suites"},{"key":"10509_CR63","doi-asserted-by":"publisher","unstructured":"Yang Z, Keung J, Zhang M, Xiao Y, Huang Y, Hui T (2020) Smart contracts vulnerability auditing with multi-semantics. In: 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC), pp 892\u2013901 https:\/\/doi.org\/10.1109\/COMPSAC48688.2020.0-153","DOI":"10.1109\/COMPSAC48688.2020.0-153"},{"key":"10509_CR64","doi-asserted-by":"publisher","unstructured":"Zhang P, Xiao F, Luo X (2019) Soliditycheck : Quickly detecting smart contract problems through regular expressions https:\/\/doi.org\/10.48550\/ARXIV.1911.09425https:\/\/arxiv.org\/abs\/1911.09425","DOI":"10.48550\/ARXIV.1911.09425"},{"key":"10509_CR65","unstructured":"Zhang Z, Zhang B, Xu W, Lin Z (2022) Web3bugs. https:\/\/github.com\/ZhangZhuoSJTU\/Web3Bugs\/tree\/main"},{"key":"10509_CR66","doi-asserted-by":"publisher","unstructured":"Zhang Z, Zhang B, Xu W, Lin Z (2023) Demystifying exploitable bugs in smart contracts. In: 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE), pp 615\u2013627 https:\/\/doi.org\/10.1109\/ICSE48619.2023.00061","DOI":"10.1109\/ICSE48619.2023.00061"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-024-10509-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10664-024-10509-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-024-10509-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:52:20Z","timestamp":1725580340000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10664-024-10509-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,25]]},"references-count":66,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2024,9]]}},"alternative-id":["10509"],"URL":"https:\/\/doi.org\/10.1007\/s10664-024-10509-w","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"value":"1382-3256","type":"print"},{"value":"1573-7616","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,7,25]]},"assertion":[{"value":"30 May 2024","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 July 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declared that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflicts of interest"}}],"article-number":"117"}}