{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,29]],"date-time":"2024-08-29T17:19:57Z","timestamp":1724951997150},"reference-count":62,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Bi-Lateral FCT-NKFIH Program Portugal-Hungary, through the Project Advanced Analytics for Empirical Assessment of Cloud Resilience"},{"name":"European Union\u2019s Horizon 2020 Research and Innovation Program through the Marie Sklodowska-Curie","award":["823788"]},{"name":"NRDI Fund Based on the Charter of Bolster Issued by the NRDI Office under the Auspices of the Ministry for Innovation and Technology"},{"name":"\u00daNKP-19-3 New National Excellence Program of the Ministry for Innovation and Technology"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2020]]},"DOI":"10.1109\/access.2020.3032239","type":"journal-article","created":{"date-parts":[[2020,10,21]],"date-time":"2020-10-21T17:47:23Z","timestamp":1603302443000},"page":"190760-190783","source":"Crossref","is-referenced-by-count":8,"title":["Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts"],"prefix":"10.1109","volume":"8","author":[{"ORCID":"http:\/\/orcid.org\/0000-0001-8001-8865","authenticated-orcid":false,"given":"Akos","family":"Hajdu","sequence":"first","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0001-8376-6711","authenticated-orcid":false,"given":"Naghmeh","family":"Ivaki","sequence":"additional","affiliation":[]},{"given":"Imre","family":"Kocsis","sequence":"additional","affiliation":[]},{"given":"Attila","family":"Klenik","sequence":"additional","affiliation":[]},{"given":"Laszlo","family":"Gonczy","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0003-0011-9901","authenticated-orcid":false,"given":"Nuno","family":"Laranjeiro","sequence":"additional","affiliation":[]},{"given":"Henrique","family":"Madeira","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-6516-129X","authenticated-orcid":false,"given":"Andras","family":"Pataricza","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","year":"2020","journal-title":"Truffle Suite"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00024"},{"key":"ref33","first-page":"1","article-title":"Formal specification and verification of hyperledger fabric chaincode","author":"beckert","year":"2018","journal-title":"Proc 3rd Symp Distrib Ledger Technol (SDLT)"},{"key":"ref32","article-title":"Scilla: A smart contract intermediate-level LAnguage","author":"sergey","year":"2018","journal-title":"arXiv 1801 00687"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70278-0_33"},{"key":"ref30","article-title":"KEVM: A complete semantics of the Ethereum virtual machine","author":"hildenbrandt","year":"2017"},{"key":"ref37","article-title":"Formal specification and verification of smart contracts for azure blockchain","author":"wang","year":"2018","journal-title":"arXiv 1812 08829"},{"key":"ref36","article-title":"Solc-verify: A modular verifier for Solidity smart contracts","author":"hajdu","year":"2019","journal-title":"Verified Software Theories Tools and Experiments"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03427-6_28"},{"key":"ref34","article-title":"Deductive proof of ethereum smart contracts using Why3","author":"nehai","year":"2019","journal-title":"arXiv 1904 11281"},{"key":"ref60","year":"0","journal-title":"Solidity Compiler"},{"key":"ref62","author":"hanmer","year":"2013","journal-title":"Patterns for Fault Tolerant Software"},{"key":"ref61","year":"0","journal-title":"The Specific Error Codes"},{"key":"ref28","year":"2019","journal-title":"Mythril Classic Security analysis tool for Ethereum smart contracts"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274743"},{"key":"ref29","year":"2019","journal-title":"Slihter Static Analyzer for Solidity"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MCE.2017.2776459"},{"key":"ref1","first-page":"2","article-title":"A blockchain tutorial","volume":"20","author":"stallings","year":"2017","journal-title":"Internet Protocol J"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/IWBOSE.2018.8327565"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03427-6_22"},{"key":"ref21","article-title":"Towards safer smart contracts: A survey of languages and verification methods","author":"harz","year":"2018","journal-title":"arXiv 1809 09805"},{"key":"ref24","first-page":"243","article-title":"A semantic framework for the security analysis of Ethereum smart contracts","volume":"10804","author":"grishchenko","year":"2018","journal-title":"Principles of Security and Trust"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2993600.2993611"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/MSR.2017.59"},{"key":"ref51","author":"dourlens","year":"2017","journal-title":"SafeMath to Protect From Overflows"},{"key":"ref59","year":"0","journal-title":"The Escrow Contract"},{"key":"ref58","year":"2018","journal-title":"BatchOverflow"},{"key":"ref57","author":"anon","year":"2020","journal-title":"Ethereum wiki - erc20 token standard"},{"key":"ref56","year":"2020","journal-title":"The Wallet Contract"},{"key":"ref55","year":"2020","journal-title":"The State Machine Contract"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_11"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/11804192_17"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45651-1"},{"key":"ref10","year":"2020","journal-title":"National Vulnerability Database"},{"key":"ref40","year":"2017","journal-title":"Solidity-Coverage-Code Coverage for Solidity Testing"},{"key":"ref11","first-page":"67","article-title":"The DAO hacked","author":"forward","year":"2017","journal-title":"Blockchain Enabled Applications"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/2.585157"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2003.1228509"},{"key":"ref14","year":"2019","journal-title":"Solidity Documentation"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.113"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3190508.3190538"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1504\/IJWGS.2018.095647"},{"key":"ref18","year":"2020","journal-title":"Hyperledger Burrow"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53357-4_6"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1147\/JRD.2019.2913622"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1002\/jsc.2147"},{"key":"ref6","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":"ref5","first-page":"118","article-title":"The truth about blockchain","volume":"95","author":"iansiti","year":"2017","journal-title":"Harvard Bus Rev"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2017.08.020"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/IWBOSE.2018.8327567"},{"key":"ref7","first-page":"2","article-title":"Smart contracts: Building blocks for digital markets","volume":"18","author":"szabo","year":"1996","journal-title":"EXTROPY The Journal of Transhumanist Thought"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54455-6_8"},{"key":"ref46","article-title":"Fuzzing Ethereum smart contracts","author":"ponte","year":"2018","journal-title":"DSN Workshop on Byzantine Consensus and Resilient Blockchains"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/32.177364"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363230"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/Blockchain.2019.00050"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2841425"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00136"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-31500-9_19"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8948470\/09229414.pdf?arnumber=9229414","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,17]],"date-time":"2021-12-17T19:56:41Z","timestamp":1639771001000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9229414\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"references-count":62,"URL":"https:\/\/doi.org\/10.1109\/access.2020.3032239","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]}}}