English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

Smart Contracts are software programs that are deployed and executed within ablockchain infrastructure. Due to their immutable nature, directly resultingfrom the specific characteristics of the deploying infrastructure, smartcontracts must be thoroughly tested before their release. Testing is one of themain activities that can help to improve the reliability of a smart contract,so as to possibly prevent considerable loss of valuable assets. It is thereforeimportant to provide the testers with tools that permit them to assess theactivity they performed. Mutation testing is a powerful approach for assessingthe fault-detection capability of a test suite. In this paper, we propose SuMo,a novel mutation testing tool for Ethereum Smart Contracts. SuMo implements aset of 44 mutation operators that were designed starting from the latestSolidity documentation, and from well-known mutation testing tools. These allowto simulate a wide variety of faults that can be made by smart contractdevelopers. The set of operators was designed to limit the generation ofstillborn mutants, which slow down the mutation testing process and limit theusability of the tool. We report a first evaluation of SuMo on open-sourceprojects for which test suites were available. The results we got areencouraging, and they suggest that SuMo can effectively help developers todeliver more reliable smart contracts.

SuMo: A Mutation Testing Strategy for Solidity Smart Contracts