Buchumschlag

Metamorphic Testing for Smart Contract Validation:A Case Study of Ethereum-Based Crowdfunding Contracts

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Villanueva, Irving Jared, Srinivasan, Madhusudan, Rehman, Faqeer Ur
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Optimizing Metamorphic Testing: Prioritizing Relations Through Execution Profile Dissimilarity
von: Srinivasan, Madhusudan, et al.
Veröffentlicht: (2024)

Validation Framework for E-Contract and Smart Contract
von: Godboley, Sangharatna, et al.
Veröffentlicht: (2025)

On-Chain Analysis of Smart Contract Dependency Risks on Ethereum
von: Jin, Monica, et al.
Veröffentlicht: (2025)

Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts
von: Zhang, Jiashuo, et al.
Veröffentlicht: (2024)

Effective Targeted Testing of Smart Contracts
von: Fooladgar, Mahdi, et al.
Veröffentlicht: (2024)

TraceLLM: Security Diagnosis Through Traces and Smart Contracts in Ethereum
von: Wang, Shuzheng, et al.
Veröffentlicht: (2025)

Efficient Fairness Testing in Large Language Models: Prioritizing Metamorphic Relations for Bias Detection
von: Giramata, Suavis, et al.
Veröffentlicht: (2025)

GenFair: Systematic Test Generation for Fairness Fault Detection in Large Language Models
von: Srinivasan, Madhusudan, et al.
Veröffentlicht: (2025)

DogeFuzz: A Simple Yet Efficient Grey-box Fuzzer for Ethereum Smart Contracts
von: Medeiros, Ismael, et al.
Veröffentlicht: (2024)

ContractTrace: Retracing Smart Contract Versions for Security Analyses
von: Mbodji, Fatou Ndiaye, et al.
Veröffentlicht: (2024)

Proxion: Uncovering Hidden Proxy Smart Contracts for Finding Collision Vulnerabilities in Ethereum
von: Chen, Cheng-Kang, et al.
Veröffentlicht: (2024)

Towards Effective Detection of Ponzi schemes on Ethereum with Contract Runtime Behavior Graph
von: Liang, Ruichao, et al.
Veröffentlicht: (2024)

Demystifying the Characteristics for Smart Contract Upgrades
von: Liu, Ye, et al.
Veröffentlicht: (2024)

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

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

SmartML: Towards a Modeling Language for Smart Contracts
von: Veschetti, Adele, et al.
Veröffentlicht: (2024)

Automated Invariant Generation for Solidity Smart Contracts
von: Liu, Ye, et al.
Veröffentlicht: (2024)

Definition and Detection of Centralization Defects in Smart Contracts
von: Lin, Zewei, et al.
Veröffentlicht: (2024)

Generating Move Smart Contracts based on Concepts
von: Karanjai, Rabimba, et al.
Veröffentlicht: (2024)

Verification Modulo Tested Library Contracts
von: Uppar, Abhishek, et al.
Veröffentlicht: (2026)

Detecting Buggy Contracts via Smart Testing
von: Wang, Sally Junsong, et al.
Veröffentlicht: (2024)

Immutable in Principle, Upgradeable by Design: Exploratory Study of Smart Contract Upgradeability
von: Qasse, Ilham, et al.
Veröffentlicht: (2024)

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

SmartPoC: Generating Executable and Validated PoCs for Smart Contract Bug Reports
von: Chen, Longfei, et al.
Veröffentlicht: (2025)

Automating Comment Generation for Smart Contract from Bytecode
von: Xiang, Jianhang, et al.
Veröffentlicht: (2025)

Understanding Inconsistent State Update Vulnerabilities in Smart Contracts
von: Li, Lantian, et al.
Veröffentlicht: (2025)

V2E: Validating Smart Contract Vulnerabilities through Profit-driven Exploit Generation and Execution
von: Zhang, Jingwen, et al.
Veröffentlicht: (2026)

Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts
von: Wang, Zexu, et al.
Veröffentlicht: (2024)

End-user Comprehension of Transfer Risks in Smart Contracts
von: Panicker, Yustynn, et al.
Veröffentlicht: (2024)

The Myth of Immutability: A Multivocal Review on Smart Contract Upgradeability
von: Qasse, Ilham, et al.
Veröffentlicht: (2025)

Bridging the Gap: A Comparative Study of Academic and Developer Approaches to Smart Contract Vulnerabilities
von: Salzano, Francesco, et al.
Veröffentlicht: (2025)

ContractTinker: LLM-Empowered Vulnerability Repair for Real-World Smart Contracts
von: Wang, Che, et al.
Veröffentlicht: (2024)

BPMN to Smart Contract by Business Analyst
von: Liu, C. G., et al.
Veröffentlicht: (2025)

Deep Smart Contract Intent Detection
von: Huang, Youwei, et al.
Veröffentlicht: (2022)

Do Automated Fixes Truly Mitigate Smart Contract Exploits?
von: Bobadilla, Sofia, et al.
Veröffentlicht: (2025)

WakeMint: Detecting Sleepminting Vulnerabilities in NFT Smart Contracts
von: Xiao, Lei, et al.
Veröffentlicht: (2025)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
von: Liu, Ye, et al.
Veröffentlicht: (2024)

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

EvoChain: A Framework for Tracking and Visualizing Smart Contract Evolution
von: Qasse, Ilham, et al.
Veröffentlicht: (2025)

Human Side of Smart Contract Fuzzing: An Empirical Study
von: Qiao, Guanming, et al.
Veröffentlicht: (2025)