Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
Smart contracts are computer programs running on blockchains to implement Decentralized Applications. The absence of contract specifications hinders routine tasks, such as contract understanding and testing. In this work, we propose a specification mining approach to infer contract specifications from past transaction histories. Our approach derives high-level behavioral automata of function invocations, accompanied by program invariants statistically inferred from the transaction histories. We implemented our approach as tool SMCON and evaluated it on eleven well-studied Azure benchmark smart contracts and six popular real-world DApp smart contracts. The experiments show that SMCON mines reasonably accurate specifications that can be used to enhance symbolic analysis of smart contracts achieving higher code coverage and up to 54% speedup, and facilitate DApp developers in maintaining high-quality documentation and test suites.
Wed 5 MarDisplayed time zone: Eastern Time (US & Canada) change
14:00 - 15:30 | Smart Contracts & MicroservicesResearch Papers / Industrial Track at L-1710 Chair(s): Anthony Cleve University of Namur | ||
14:00 15mTalk | LLM-based Generation of Solidity Smart Contracts from System Requirements in Natural Language: the AstraKode Case Industrial Track Gabriele De Vito Università di Salerno, Damiano D'Amici Damiano D'Amici, Head of Product and co-founder, AstraKode S.r.l., Fabiano Izzo Fabiano Izzo, CEO and co-founder, AstraKode S.r.l., Filomena Ferrucci University of Salerno, Dario Di Nucci University of Salerno | ||
14:15 15mTalk | Deep Smart Contract Intent Detection Research Papers Youwei Huang Institute of Intelligent Computing Technology, Suzhou, CAS, Sen Fang North Carolina State University, Jianwen Li , Bin Hu Institute of Computing Technology, Chinese Academy of Sciences, Jiachun Tao Suzhou City University, Tao Zhang Macau University of Science and Technology Pre-print | ||
14:30 15mTalk | Enhancing Microservice Migration Transformation from Monoliths with Graph Neural Networks Research Papers Deli Chen hainan university, Chunyang Ye Hainan University, Hui Zhou Hainan University, Shanyan Lai hainan university, Bo Li hainan university | ||
14:45 15mTalk | Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction Research Papers Ye Liu , Yixuan Liu Nanyang Technological University, Yi Li Nanyang Technological University, Cyrille Artho KTH Royal Institute of Technology, Sweden | ||
15:00 15mTalk | Towards Change Impact Analysis in Microservices-based System Evolution Research Papers Tomas Cerny University of Arizona, Gabriel Goulis Systems and Industrial Engineering, University of Arizona, Amr Elsayed The University of Arizona Pre-print | ||
15:15 15mTalk | An Empirical Study on Microservices Deployment Trends, Topics and Challenges in Stack Overflow Research Papers Amina Bouaziz Laval University, Mohamed Aymen saied Laval University, Mohammed Sayagh ETS Montreal, University of Quebec, Ali Ouni ETS Montreal, University of Quebec, Mohamed Wiem Mkaouer University of Michigan - Flint | ||