Within just four years, the blockchain-based Decentralized Finance (DeFi) ecosystem has
accumulated a peak total value locked (TVL) of more than 253 billion USD. This surge in …

Security of smart contracts has attracted increasing attention in recent years. Many
researchers have devoted themselves to devising testing tools for vulnerability detection …

Sharding is a popular way to achieve scalability in blockchain protocols, increasing their
throughput by partitioning the set of transaction validators into a number of smaller …

Smart contracts deployed to the Ethereum blockchain hold billions of dollars worth of assets.
Ethereum currently represents the most widely used smart contract platform. It is the second …

The widespread use of blockchain technology has highlighted smart contracts as crucial
components in digital transactions. However, their susceptibility to vulnerabilities poses …

When users deploy or invoke smart contracts on Ethereum, a fee is charged for avoiding
resource abuse. Metered in gas, the fee is the product of the amount of gas used and the …

Blockchain is a distributed ledger that records transactions among users on top of a peer-to-
peer network. Among all, Ethereum is the most popular general-purpose platform and its …

Smart contracts are pieces of code that reside inside the blockchains and can be triggered to
execute any transaction when specifically predefined conditions are satisfied. Being …

Modern programming follows the continuous integration (CI) and continuous deployment
(CD) approach rather than the traditional waterfall model. Even the development of modern …

Originating from semantic bugs, Entity-Inconsistency Bugs (EIBs) involve misuse of
syntactically valid yet incorrect program entities, such as variable identifiers and function …