A survey on automation approaches of smart contract generation

Review Computer Science, Information Systems

Ethereum Smart Contract Analysis Tools: A Systematic Review

Satpal Singh Kushwaha et al.

Summary: This paper presents a systematic review of security analysis tools for Ethereum smart contracts, including static and dynamic analysis tools, as well as different source code analysis techniques. By analyzing 86 security analysis tools, the paper highlights the challenges and future recommendations in the field of smart contracts.

IEEE ACCESS (2022)

Add to Collection

Proceedings Paper Computer Science, Theory & Methods

Ethereum's Smart Contracts Construction and Development using Model Driven Engineering Technologies : a Review

Yassine Ait Hsain et al.

Summary: This paper discusses the challenges of developing Smart Contracts on the Ethereum platform and proposes using model-driven engineering to improve the longevity and productivity of Smart Contracts. By reviewing different approaches, a comparative framework is established to outline the advantages and disadvantages of each method, serving as a basis for selecting tools for specific aspects of Smart Contract development.

12TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT) / THE 4TH INTERNATIONAL CONFERENCE ON EMERGING DATA AND INDUSTRY 4.0 (EDI40) / AFFILIATED WORKSHOPS (2021)

Add to Collection

Review Computer Science, Artificial Intelligence

A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems

Bin Hu et al.

Summary: Smart contracts are seen as a promising concept in blockchain technology, but face challenges such as attacks, privacy issues, and low processing rates. Various schemes and tools have been proposed to facilitate secure smart contract development, but a comprehensive survey is still lacking.

PATTERNS (2021)

Add to Collection

Review Computer Science, Information Systems

Model-Based Software Design and Testing in Blockchain Smart Contracts: A Systematic Literature Review

Nicolas Sanchez-Gomez et al.

IEEE ACCESS (2020)

Add to Collection

Proceedings Paper Computer Science, Theory & Methods

Towards Model-Driven Engineering of Smart Contracts for Cyber-Physical Systems

Peter Garamvolgyi et al.

2018 48TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS (DSN-W) (2018)

Add to Collection

Article Information Science & Library Science

Smart contract applications within blockchain technology: A systematic mapping study

Daniel Macrinici et al.

TELEMATICS AND INFORMATICS (2018)

Add to Collection

Article Multidisciplinary Sciences

Systematic review finds that study data not published in full text articles have unclear impact on meta-analyses results in medical research

Christine M. Schmucker et al.

PLOS ONE (2017)

Add to Collection

A survey on automation approaches of smart contract generation

Related references

Ethereum Smart Contract Analysis Tools: A Systematic Review

Ethereum's Smart Contracts Construction and Development using Model Driven Engineering Technologies : a Review

A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems

Model-Based Software Design and Testing in Blockchain Smart Contracts: A Systematic Literature Review

Towards Model-Driven Engineering of Smart Contracts for Cyber-Physical Systems

Smart contract applications within blockchain technology: A systematic mapping study

Systematic review finds that study data not published in full text articles have unclear impact on meta-analyses results in medical research

Export Citation

Share Paper