Please use this identifier to cite or link to this item:
Title: Build model-based testing for smart contract
Authors: Lim, Sebastian Jing Jie
Keywords: Engineering::Computer science and engineering::Computer systems organization::Special-purpose and application-based systems
Issue Date: 2022
Publisher: Nanyang Technological University
Source: Lim, S. J. J. (2022). Build model-based testing for smart contract. Final Year Project (FYP), Nanyang Technological University, Singapore.
Abstract: Blockchain technology has brought about many benefits for businesses such as immutability, trust, and its decentralized nature. Through blockchain technology, smart contracts were created on top of blockchains as a solution to provide security and reduce transaction costs for businesses. However, with the popularity of smart contracts, it is critical to ensure that the smart contracts are secure and do not have any vulnerabilities for threat actors to exploit. ModCon was developed to have a model-based testing capability to generate well designed test cases for smart contracts. In this project, the aim will be to test ModCon on more types of contracts, such as games, auctions, DeFi (Decentralized Finance), etc.
Schools: School of Computer Science and Engineering 
Fulltext Permission: restricted
Fulltext Availability: With Fulltext
Appears in Collections:SCSE Student Reports (FYP/IA/PA/PI)

Files in This Item:
File Description SizeFormat 
  Restricted Access
Sebastian_U1821133J_SCSE_FYP822.45 kBAdobe PDFView/Open

Page view(s)

Updated on Sep 30, 2023

Download(s) 50

Updated on Sep 30, 2023

Google ScholarTM


Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.