Model-based testing for smart contracts
At this rate of adoption, blockchain has the potential to revolutionize and reshape the way we live and work. Still, security is an utmost concern. Although researchers have developed tools to analyze the security vulnerability of smart contracts, its behavior remains an area less explored. ModCon i...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Final Year Project (FYP) |
| Language: | English |
| Published: |
Nanyang Technological University
2023
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/10356/165958 |