Copertina

Effective Targeted Testing of Smart Contracts

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Fooladgar, Mahdi, Faghih, Fathiyeh
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Effective Black Box Testing of Sentiment Analysis Classification Networks
di: Karbasizadeh, Parsa, et al.
Pubblicazione: (2024)

Metamorphic Testing for Smart Contract Validation:A Case Study of Ethereum-Based Crowdfunding Contracts
di: Villanueva, Irving Jared, et al.
Pubblicazione: (2025)

Validation Framework for E-Contract and Smart Contract
di: Godboley, Sangharatna, et al.
Pubblicazione: (2025)

Combining GPT and Code-Based Similarity Checking for Effective Smart Contract Vulnerability Detection
di: Zhang, Jango
Pubblicazione: (2024)

Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?
di: Li, Kaixuan, et al.
Pubblicazione: (2024)

ContractTrace: Retracing Smart Contract Versions for Security Analyses
di: Mbodji, Fatou Ndiaye, et al.
Pubblicazione: (2024)

SmartML: Towards a Modeling Language for Smart Contracts
di: Veschetti, Adele, et al.
Pubblicazione: (2024)

Demystifying the Characteristics for Smart Contract Upgrades
di: Liu, Ye, et al.
Pubblicazione: (2024)

Demystifying Invariant Effectiveness for Securing Smart Contracts
di: Chen, Zhiyang, et al.
Pubblicazione: (2024)

Automated Invariant Generation for Solidity Smart Contracts
di: Liu, Ye, et al.
Pubblicazione: (2024)

Definition and Detection of Centralization Defects in Smart Contracts
di: Lin, Zewei, et al.
Pubblicazione: (2024)

Generating Move Smart Contracts based on Concepts
di: Karanjai, Rabimba, et al.
Pubblicazione: (2024)

MOS: Towards Effective Smart Contract Vulnerability Detection through Mixture-of-Experts Tuning of Large Language Models
di: Yuan, Hang, et al.
Pubblicazione: (2025)

Detecting Buggy Contracts via Smart Testing
di: Wang, Sally Junsong, et al.
Pubblicazione: (2024)

CRPWarner: Warning the Risk of Contract-related Rug Pull in DeFi Smart Contracts
di: Lin, Zewei, et al.
Pubblicazione: (2024)

Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts
di: Wang, Zexu, et al.
Pubblicazione: (2024)

End-user Comprehension of Transfer Risks in Smart Contracts
di: Panicker, Yustynn, et al.
Pubblicazione: (2024)

Automating Comment Generation for Smart Contract from Bytecode
di: Xiang, Jianhang, et al.
Pubblicazione: (2025)

Understanding Inconsistent State Update Vulnerabilities in Smart Contracts
di: Li, Lantian, et al.
Pubblicazione: (2025)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
di: Liu, Ye, et al.
Pubblicazione: (2024)

Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers
di: Wu, Shuohan, et al.
Pubblicazione: (2024)

The Myth of Immutability: A Multivocal Review on Smart Contract Upgradeability
di: Qasse, Ilham, et al.
Pubblicazione: (2025)

Do Automated Fixes Truly Mitigate Smart Contract Exploits?
di: Bobadilla, Sofia, et al.
Pubblicazione: (2025)

WakeMint: Detecting Sleepminting Vulnerabilities in NFT Smart Contracts
di: Xiao, Lei, et al.
Pubblicazione: (2025)

Smart Contract Vulnerabilities, Tools, and Benchmarks: an Updated Systematic Literature Review
di: Iuliano, Gerardo, et al.
Pubblicazione: (2024)

Immutable in Principle, Upgradeable by Design: Exploratory Study of Smart Contract Upgradeability
di: Qasse, Ilham, et al.
Pubblicazione: (2024)

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair
di: Liu, Christian Gang, et al.
Pubblicazione: (2025)

Satellite: Detecting and Analyzing Smart Contract Vulnerabilities caused by Subcontract Misuse
di: Liao, Zeqin, et al.
Pubblicazione: (2025)

Trace: Securing Smart Contract Repository Against Access Control Vulnerability
di: Chen, Chong, et al.
Pubblicazione: (2025)

PrAIoritize: Automated Early Prediction and Prioritization of Vulnerabilities in Smart Contracts
di: Soud, Majd, et al.
Pubblicazione: (2023)

EvoChain: A Framework for Tracking and Visualizing Smart Contract Evolution
di: Qasse, Ilham, et al.
Pubblicazione: (2025)

A Web-Based Environment for the Specification and Generation of Smart Legal Contracts
di: Meloche, Regan, et al.
Pubblicazione: (2025)

Enhancing The Open Network: Definition and Automated Detection of Smart Contract Defects
di: Song, Hao, et al.
Pubblicazione: (2025)

Hybrid Concolic Testing with Large Language Models for Guided Path Exploration
di: Eslamimehr, Mahdi
Pubblicazione: (2026)

SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis
di: Liao, Zeqin, et al.
Pubblicazione: (2024)

SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis
di: Liao, Zeqin, et al.
Pubblicazione: (2024)

SmartIntentNN: Towards Smart Contract Intent Detection
di: Huang, Youwei, et al.
Pubblicazione: (2022)

BPMN to Smart Contract by Business Analyst
di: Liu, C. G., et al.
Pubblicazione: (2025)

Deep Smart Contract Intent Detection
di: Huang, Youwei, et al.
Pubblicazione: (2022)

SCLA: Automated Smart Contract Summarization via LLMs and Control Flow Prompt
di: Li, Xiaoqi, et al.
Pubblicazione: (2024)