TY  - RPRT
TI  - Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
AU  - Ye Liu
AU  - Yixuan Liu
AU  - Yi Li
AU  - Cyrille Artho
PY  - 2025
UR  - https://arxiv.org/abs/2403.13279
ID  - 2403.13279
ER  -