FinanceFuzz: fuzzing smart contracts with financial properties
Smart contracts are Turing-complete programs that run on blockchain technology, are capable of managing on-chain assets according to predefined logic, and become immutable once deployed on the blockchain. In recent years, the value of smart contracts on blockchains, notably Ethereum, has been on the...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Artigo |
| Language: | Inglês |
| Published: |
Elsevier
2025-12-01
|
| Series: | Blockchain: Research and Applications |
| Subjects: | |
| Online Access: | http://www.sciencedirect.com/science/article/pii/S2096720925000284 |
| Tags: |
No Tags, Be the first to tag this record!
|