Model-based testing for smart contracts

• المؤلف الرئيسي: Ng, Erica Xiang Qing
• مؤلفون آخرون: Li Yi
• التنسيق: Final Year Project
• اللغة: English
• منشور في: Nanyang Technological University 2023
• الموضوعات: Engineering::Computer science and engineering::Software::Software engineering
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/165958
• المؤسسة: Nanyang Technological University

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...