Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)(2021)
Abstract
Smart contracts are programs stored on blockchains to execute transactions. When input constraints or security properties are violated at runtime, the transaction being executed by a smart contract needs to be reverted to avoid undesirable consequences. On Ethereum, the most popular blockchain that supports smart contracts, developers can choose among three transaction-reverting statements (i.e., ...
MoreTranslated text
Key words
Runtime,Quality assurance,Smart contracts,Taxonomy,Decentralized applications,Blockchains,Security
AI Read Science
Must-Reading Tree
Example
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined