Cyrille Artho

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction

2025

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 …