A systematic literature review of blockchain and smart contract development: Techniques, tools, and open challenges

A Vacca, A Di Sorbo, CA Visaggio, G Canfora - Journal of Systems and …, 2021 - Elsevier
Blockchain platforms and languages for writing smart contracts are becoming increasingly
popular. However, smart contracts and blockchain applications are developed through non …

Model-based software design and testing in blockchain smart contracts: A systematic literature review

N Sánchez-Gómez, J Torres-Valderrama… - IEEE …, 2020 - ieeexplore.ieee.org
Blockchain technology promises to spark a real revolution. One of most important concepts
associated with this technology is smart contracts, which enable the automatic execution of …

Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities

A Singh, RM Parizi, Q Zhang, KKR Choo… - Computers & …, 2020 - Elsevier
Blockchain as a distributed computing platform enables users to deploy pieces of software
(known as smart contracts) for a wealth of next-generation decentralized applications …

Smart contract programming languages on blockchains: An empirical evaluation of usability and security

RM Parizi, Amritraj, A Dehghantanha - … Conference, Held as Part of the …, 2018 - Springer
Blockchain is a promising infrastructural technology that is finding its way into a growing
number of domains like big data, finance, and medical. While blockchain has come to be …

Blockchain-based smart contracts: A systematic mapping study

M Alharby, A Van Moorsel - arXiv preprint arXiv:1710.06372, 2017 - arxiv.org
An appealing feature of blockchain technology is smart contracts. A smart contract is
executable code that runs on top of the blockchain to facilitate, execute and enforce an …

Smart contract security: A software lifecycle perspective

Y Huang, Y Bian, R Li, JL Zhao, P Shi - IEEE Access, 2019 - ieeexplore.ieee.org
Smart contract security is an emerging research area that deals with security issues arising
from the execution of smart contracts in a blockchain system. Generally, a smart contract is a …

Smart contract development: Challenges and opportunities

W Zou, D Lo, PS Kochhar, XBD Le, X Xia… - IEEE transactions on …, 2019 - ieeexplore.ieee.org
Smart contract, a term which was originally coined to refer to the automation of legal
contracts in general, has recently seen much interest due to the advent of blockchain …

Systematic literature review of blockchain applications: Smart contracts

E Leka, B Selimi, L Lamani - 2019 International Conference on …, 2019 - ieeexplore.ieee.org
Blockchain technology has received extensive attention recently, but still a large of technical
challenges such as scalability and security. This paper helps to find where recent studies …

Smart contract applications within blockchain technology: A systematic mapping study

D Macrinici, C Cartofeanu, S Gao - Telematics and Informatics, 2018 - Elsevier
With the advent of blockchain, smart contracts have become one of the most sought-after
technologies because of the high customisability they add to transactions. This has given …

Empirical vulnerability analysis of automated smart contracts security testing on blockchains

RM Parizi, A Dehghantanha, KKR Choo… - arXiv preprint arXiv …, 2018 - arxiv.org
The emerging blockchain technology supports decentralized computing paradigm shift and
is a rapidly approaching phenomenon. While blockchain is thought primarily as the basis of …