Build model-based testing for smart contract

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.