Software development is a very broad activity that captures the entire life cycle of a software,
which includes designing, programming, maintenance and so on. In this study, we focus on …

Blockchain is a platform of distributed elaboration, which allows users to provide software for
a huge range of next‐generation decentralized applications without involving reliable third …

Smart contracts have become lucrative and profitable targets for attackers because they can
hold a great amount of money. Unfortunately, existing offline approaches for discovering the …

Blockchain technology has enabled so-called smart contracts between different parties on a
decentralized network. These self-enforceable and self-executable computerized contracts …

Closed circuit television (CCTV) is installed on roads or in facilities for the purpose of filming
videos to be used for crime prevention or as evidence for accidents in the future, and the …

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 …

Blockchain technology is a distributed data recording system developed to monitor and
secure all encrypted transactions with the shortest identification. Blockchain technology …

Smart contracts have gained extensive adoption across diverse industries, including
finance, supply chain, and the Internet of Things. Nevertheless, the surge in security …

The vulnerability of smart contracts has been demonstrated by an increasing number of multi-
million exploitation incidents in public blockchains. Several works propose applying runtime …

Smart contracts are self-executing digital agreements that automatically enforce the terms
between parties, playing a crucial role in blockchain systems. However, due to the potential …