{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T11:27:48Z","timestamp":1778758068062,"version":"3.51.4"},"reference-count":41,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,11,15]],"date-time":"2021-11-15T00:00:00Z","timestamp":1636934400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,11,15]],"date-time":"2021-11-15T00:00:00Z","timestamp":1636934400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,11,15]]},"DOI":"10.1109\/bcca53669.2021.9657040","type":"proceedings-article","created":{"date-parts":[[2021,12,30]],"date-time":"2021-12-30T16:03:46Z","timestamp":1640880226000},"page":"57-64","source":"Crossref","is-referenced-by-count":8,"title":["A Survey of Verification, Validation and Testing Solutions for Smart Contracts"],"prefix":"10.1109","author":[{"given":"Cha\u00efmaa","family":"Benabbou","sequence":"first","affiliation":[{"name":"Université Paris-Saclay, CEA, List,Palaiseau,France,F-91120"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00d6nder","family":"G\u00fcrcan","sequence":"additional","affiliation":[{"name":"Université Paris-Saclay, CEA, List,Palaiseau,France,F-91120"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","author":"wood","year":"2014","journal-title":"Ethereum A Secure Decentralised Generalised Transaction Ledger"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"ref33","article-title":"Deductive Proof of Ethereum Smart Contracts Using Why3","volume":"abs 1904 11281","author":"nehai","year":"2019","journal-title":"ArXiv"},{"key":"ref32","author":"nakamoto","year":"2008","journal-title":"Bitcoin A Peer-to-Peer Electronic Cash System"},{"key":"ref31","article-title":"Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks","author":"karame","year":"2018","journal-title":"proc of 26th annual network distributed system security symp (ndss)"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3282373.3282419"},{"key":"ref37","article-title":"A java framework for smart contracts","author":"spoto","year":"2019","journal-title":"financial cryptography and data security - fc 2019 international workshops"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/s11623-017-0819-7"},{"key":"ref35","article-title":"Understanding community participation and engagement in open source software Projects: A systematic mapping study","author":"saini","year":"2020","journal-title":"Journal of King Saud University - Computer and Information Sciences"},{"key":"ref34","author":"quang-trung","year":"2020","journal-title":"A transactional perspective on execute-order-validate blockchains"},{"key":"ref10","article-title":"SODA: A Generic Online Detection Framework for Smart Contracts","author":"li","year":"2020","journal-title":"Symposium on Network and Distributed System Security"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2905428"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274737"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3064033"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/Cybermatics_2018.2018.00199"},{"key":"ref14","article-title":"Slither: a static analysis frame-work for smart contracts","author":"grieco","year":"2019","journal-title":"proceedings of the 2nd international work- shop on emerging trends in software engineering for blockchain"},{"key":"ref15","author":"goodman","year":"2014","journal-title":"Tezos—a self-amending crypto-ledger white paper"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/HPCC\/SmartCity\/DSS.2018.00222"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1057\/jos.2012.26"},{"key":"ref18","article-title":"Towards Safer Smart Contracts: A Survey of Languages and Verification Methods","author":"harz","year":"2018","journal-title":"ArXiv"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2946988"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-58387-6_28"},{"key":"ref4","article-title":"An Analysis of Uniswap Markets","author":"angeris","year":"2019","journal-title":"ERN Other Microeconomics General Equilibrium & Disequilibrium Models of Financial Markets"},{"key":"ref27","article-title":"Fast and secure global payments with Stellar","author":"mazi\u00e8res","year":"2019","journal-title":"Proc of the ACM Symposium on Operating Systems Principles"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DAPPCON.2019.00018"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.1994.717129"},{"key":"ref29","article-title":"Verisolid: correct-by-design smart contracts for Ethereum","author":"laszka","year":"2019","journal-title":"International Conference on Finance Cryptography and Data Security"},{"key":"ref5","author":"baliga","year":"2018","journal-title":"Performance Evaluation of the Quorum Blockchain Platform"},{"key":"ref8","author":"carlyle","year":"2016","journal-title":"Corda An Introduction"},{"key":"ref7","article-title":"Vandal: A scalable security analysis framework for smart contracts","author":"brent","year":"2018","journal-title":"ArXiv"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3190508.3190538"},{"key":"ref9","author":"burnstein","year":"2003","journal-title":"Practical Software Testing"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2020.101227"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23082"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.55"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/IWBOSE.2019.8666486"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref23","first-page":"65","article-title":"ReGuard: Finding Reentrancy Bugs in Smart Contracts","author":"liu","year":"2018","journal-title":"2018 IEEE\/ACM 40th International Conference on Software Engineering Companion (ICSE-Companion) ICSE-Companion"},{"key":"ref41","first-page":"635","article-title":"Towards a generic testing framework for agent-based simulation models","author":"g\u00fcrcan","year":"2011","journal-title":"2011 Federated Conference on Computer Science and Information Systems (FedCSIS)"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-52535-4_2"},{"key":"ref25","article-title":"ABCDE - Agile Block Chain Dapp Engineering","author":"marchesi","year":"2019","journal-title":"ArXiv"}],"event":{"name":"2021 Third International Conference on Blockchain Computing and Applications (BCCA)","location":"Tartu, Estonia","start":{"date-parts":[[2021,11,15]]},"end":{"date-parts":[[2021,11,17]]}},"container-title":["2021 Third International Conference on Blockchain Computing and Applications (BCCA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9656932\/9656958\/09657040.pdf?arnumber=9657040","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T19:14:13Z","timestamp":1756235653000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9657040\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,15]]},"references-count":41,"URL":"https:\/\/doi.org\/10.1109\/bcca53669.2021.9657040","relation":{},"subject":[],"published":{"date-parts":[[2021,11,15]]}}}