Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction.

Ye Liu, Yixuan Liu, Yi Li, Cyrille Artho

Browse the full SANER paper archive.