A Survey of Verification, Validation and Testing Solutions for Smart Contracts

7 December 2021

Papers citing "A Survey of Verification, Validation and Testing Solutions for Smart Contracts"

11 / 11 papers shown

Title
A Transactional Perspective on Execute-order-validate Blockchains Pingcheng Ruan Dumitrel Loghin Quang-Trung Ta Meihui Zhang Gang Chen Beng Chin Ooi 40 103 0 23 Mar 2020
An analysis of Uniswap markets Guillermo Angeris Hsien-Tang Kao Rei Chiang C. Noyes Tarun Chitra 145 195 0 08 Nov 2019
Slither: A Static Analysis Framework For Smart Contracts Josselin Feist Gustavo Grieco Alex Groce 44 615 0 26 Aug 2019
VeriSolid: Correct-by-Design Smart Contracts for Ethereum Anastasia Mavridou Aron Laszka Emmanouela Stachtiari A. Dubey 33 122 0 04 Jan 2019
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks Michael Rodler Wenting Li Ghassan O. Karame Lucas Davi 45 255 0 14 Dec 2018
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods D. Harz William Knottenbelt 35 77 0 26 Sep 2018
Performance Evaluation of the Quorum Blockchain Platform A. Baliga I. Subhod P. Kamat S. Chatterjee 37 130 0 19 Jul 2018
Securify: Practical Security Analysis of Smart Contracts Petar Tsankov A. Dan Dana Drachsler-Cohen Arthur Gervais Florian Buenzli Martin Vechev 66 924 0 04 Jun 2018
Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains Elli Androulaki Artem Barger V. Bortnikov Christian Cachin K. Christidis ... A. Sorniotti C. Stathakopoulou Marko Vukolić S. Cocco Jason Yellick 84 3,642 0 30 Jan 2018
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach Anastasia Mavridou Aron Laszka 56 219 0 26 Nov 2017
BLOCKBENCH: A Framework for Analyzing Private Blockchains Tien Tuan Anh Dinh Ji Wang Gang Chen Rui Liu Beng Chin Ooi K. Tan 46 822 0 12 Mar 2017