Filters








5,165 Hits in 5.4 sec

Mutation testing of smart contracts at scale [article]

Pieter Hartel, Richard Schumi
2020 arXiv   pre-print
Hence, we evaluate the quality of smart contract mutation testing at scale.  ...  This paper has a replication package at https://github.com/pieterhartel/Mutation-at-scale  ...  To the best of our knowledge there is no related work that performs mutation testing for smart contracts at scale.  ... 
arXiv:1909.12563v4 fatcat:jjihxom6zzewxkluxlb2maxymi

SolAnalyser: A Framework for Analysing and Testing Smart Contracts

Sefa Akca, Ajitha Rajan, Chao Peng
2019 2019 26th Asia-Pacific Software Engineering Conference (APSEC)  
We also implemented a fault seeding tool that injects different types of vulnerabilities in smart contracts. We use the mutated contracts for assessing the effectiveness of different analysis tools.  ...  This is the first large scale evaluation of existing tools that compares their effectiveness by running them on a common set of contracts.  ...  Test Results Test Result Static Analysis for Assertions SIF MuContract ☑ ☑ ☑ ☑ ☑ ☑ SolAnalyser / Other analysis tools Test Result Test Result Test Results Smart Contract Mutations SIFFig.1: SolAnalyser  ... 
doi:10.1109/apsec48747.2019.00071 dblp:conf/apsec/AkcaRP19 fatcat:nuheaytjurfclmmlitda65ug6i

EVMFuzz: Differential Fuzz Testing of Ethereum Virtual Machine [article]

Ying Fu, Meng Ren, Fuchen Ma, Yu Jiang, Heyuan Shi, Jiaguang Sun
2019 arXiv   pre-print
For evaluation, we conducted large-scale mutation on 36,295 real-world smart contracts and generated 253,153 smart contracts.  ...  With lots of techniques being developed for the validation of smart contracts, the security problems of EVM have not been well-studied.  ...  EVMFuzz has conducted large-scale mutations on 36,295 real-world smart contracts and several EVM discrepancies and vulnerabilities have been found.  ... 
arXiv:1903.08483v2 fatcat:f5n6vrpn2zdsjjhmehyzfa3mcu

HFContractFuzzer: Fuzzing Hyperledger Fabric Smart Contracts for Vulnerability Detection [article]

Mengjie Ding, Peiru Li, Shanshan Li, He Zhang
2021 arXiv   pre-print
Therefore, the automatic detection of security vulnerabilities in smart contracts has become an urgent problem in the application of blockchain technology.  ...  However, the research on the vulnerability detection technology of Hyperledger Fabric smart contracts is still in its infancy.  ...  5 Table 3 : 3 Mutation algorithm test report Table 4 : 4 Unit testing case Use Case Test Data F1 Table 5 : 5 Summary of smart contract fuzzy test results Smart contract Source Version Exception  ... 
arXiv:2106.11210v1 fatcat:n4vxcivbdzhoxoyok4ruakkryu

GasFuzzer: Fuzzing Ethereum Smart Contract Binaries to Expose Gas-Oriented Exception Security Vulnerabilities

Imran Ashraf, Xiaoxue Ma, Bo Jiang, W. K. Chan
2020 IEEE Access  
together with those which remained non-mutated to fuzz test the smart contract.  ...  Ethereum is a kind of blockchain platform where developers may develop and run programs called smart contracts.  ...  We only evaluated CF and GF on one set of parameters, which already took weeks to complete due to the large amount of transactions produced, and at par with the scale of the experiment reported in the  ... 
doi:10.1109/access.2020.2995183 fatcat:de354kyy25d4vo74sllabzp6qq

Deviant: A Mutation Testing Tool for Solidity Smart Contracts

Patrick Chapman, Dianxiang Xu, Lin Deng, Yin Xiong
2019 2019 IEEE International Conference on Blockchain (Blockchain)  
This thesis presents Deviant, the first implementation of a mutation testing tool for Solidity smart contracts.  ...  Solidity is a widely used scripting language for creating smart contracts in Ethereum applications.  ...  In this paper, we present Deviant, a mutation testing tool for Solidity smart contracts.  ... 
doi:10.1109/blockchain.2019.00050 dblp:conf/blockchain2/ChapmanXDX19 fatcat:ly4fskykhbcjrmfnb3spits5sm

EOSFuzzer: Fuzzing EOSIO Smart Contracts for Vulnerability Detection [article]

Yuhe Huang, Bo Jiang, W.K. Chan
2020 arXiv   pre-print
In particular, EOSFuzzer proposed effective attacking scenarios and test oracles for EOSIO smart contract fuzzing.  ...  It is scalable in terms of transaction speeds and has a growing ecosystem supporting smart contracts and decentralized applications.  ...  The 3881 smart contracts without source code contain Wasm bytecode and ABI file only, which are used to evaluate our tool at scale.  ... 
arXiv:2007.14903v3 fatcat:6naghoujsbf4xjqrpl75krm62e

Smart Contract Fuzzing Based on Taint Analysis and Genetic Algorithms

Zaoyu Wei, Jiaqi Wang, Xueqi Shen, Qun Luo
2020 Journal of Quantum Computing  
Oriented to Ethereum smart contract, the study solves the problems of redundant input and low coverage in the smart contract fuzz.  ...  Therefore, efficient vulnerability detection of smart contract is the key to ensure the security of blockchain system.  ...  Acknowledgment: Thanks for Bichen Che, Yu Yang, and Zichuan Guo, who give a lot of suggestions and contribute to this article.  ... 
doi:10.32604/jqc.2020.010815 fatcat:6jptw2jbj5h2phiokgzrmpt4uu

ConFuzzius: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts [article]

Christof Ferreira Torres, Antonio Ken Iannillo, Arthur Gervais, Radu State
2021 arXiv   pre-print
As smart contracts carry more value, they become more of an exciting target for attackers.  ...  We evaluate the effectiveness of ConFuzzius by comparing it with state-of-the-art symbolic execution tools and fuzzers for smart contracts.  ...  This very immutability, therefore, comes at a price: smart contracts must be tested extensively before exposing them and their users to significant monetary value.  ... 
arXiv:2005.12156v2 fatcat:lonixxwczvfmzmfp4cwnu4pkwa

A Review on Recent Progress of Smart Contract in Blockchain

Canghai Wu, Jie Xiong, Huanliang Xiong, Yingding Zhao, Wenlong Yi
2022 IEEE Access  
Second, the related concepts of smart contracts are presented, and the working mechanism of smart contracts and the difficulties faced by smart contracts are elaborated.  ...  Smart contracts are not only used in the field of financial transactions, but also include many aspects of social life.  ...  The use of fuzz testing to conduct large-scale testing of source-free smart contracts and how to find loopholes in testing more accurately are still urgent issues to be solved in smart contract fuzz testing  ... 
doi:10.1109/access.2022.3174052 fatcat:wcbvjsuibbek3ikjegl3tddedu

Basis Path Coverage Criteria for Smart Contract Application Testing [article]

Xinming Wang, Zhijian Xie, Jiahao He, Gansen Zhao, Nie Ruihua
2019 arXiv   pre-print
For this reason, it is crucial to perform a thorough testing of a smart contract application before its deployment.  ...  This paper's focus is on the test coverage criteria for smart contracts, which are objective rules that measure test quality.  ...  By mistake, the smart contract programmers put "return false;" at line 6 instead of line 9 after the loop.  ... 
arXiv:1911.10471v1 fatcat:gib4brw3bvg3jn4skfzreg6ilu

Maintaining Smart Contracts on Ethereum: Issues, Techniques, and Future Challenges [article]

Jiachi Chen, Xin Xia, David Lo, John Grundy, Xiaohu Yang
2021 arXiv   pre-print
In this study, we focus on the maintenance-related concerns of the post-deployment of smart contracts. Smart contracts are self-executed programs that run on a blockchain.  ...  To address this, we performed an online survey of smart contract developers on Github to validate our findings and received 165 useful responses.  ...  Mutation testing is a type of white-box software testing technique that changes some statements of the code and check if the test cases can find some errors.  ... 
arXiv:2007.00286v2 fatcat:g5wr7k2edjbw3dpqcfloyvnqrq

Smart contract formation enabling energy‐as‐a‐service in a virtual power plant

Sambeet Mishra, Cletus John Crasta, Chiara Bordin, Jordi Mateo‐Fornés
2021 International Journal of Energy Research  
At this time, the utility industry is faced with the challenge of how to structure smart contract formation in a local energy market.  ...  This platform is formed through smart contracts registering peer-to-peer (P2P) transactions of energy through price and quantity.  ...  Innovaci on under contract PID2020-113614RB-C22.  ... 
doi:10.1002/er.7381 fatcat:y6gu6lt2indhnlg4fbzbfyf4lu

Learning Inputs in Greybox Fuzzing [article]

Valentin Wüstholz, Maria Christakis
2018 arXiv   pre-print
Greybox fuzzing is a lightweight testing approach that effectively detects bugs and security vulnerabilities.  ...  However, greybox fuzzers randomly mutate program inputs to exercise new paths; this makes it challenging to cover code that is guarded by complex checks.  ...  To test a smart contract, our tool generates, executes, and fuzzes sequences of transactions, which call functions of the contract.  ... 
arXiv:1807.07875v1 fatcat:um32we3subgc5icptuliw6yoga

An Empirical Study into the Success of Listed Smart Contracts in Ethereum

Pieter Hartel, Ivan Homoliak, Daniel Reijsbergen
2019 IEEE Access  
A smart contract is intended to encode business logic and is therefore at the heart of every new business on the Ethereum blockchain.  ...  We have investigated how to measure the success of smart contracts, and whether successful smart contracts have characteristics that less successful smart contracts lack.  ...  ACKNOWLEDGMENT We thank Susanne Barth for her advice on the questionnaire and we thank Monika di Angelo and Gernot Salzer for labelling our sample of 812 contract pairs with functional similarity indicators  ... 
doi:10.1109/access.2019.2957284 fatcat:4ikierqqvzdkzj2yc2uopuqzhm
« Previous Showing results 1 — 15 out of 5,165 results